interp: primitives