Some primitives defined