yet better name for the prim kernel