Primitive recursive function