Bootstrap: more primitives