Our simpler counter-machine model can do a "bounded" form of indirectionand thereby compute the sub-class of primitive recursive functionsby using a primitive recursive "operator" called "definition by cases" (defined in Kleene (1952) p. 229 and Boolos-Burgess-Jeffrey p. 74).