[slime-devel] bit-vectors