Working high-level primitives (except for error)