A OCaml module for manipulating unlimited register machines
01 02 03 04 05 06 07 08 09
Z(3) Z(4) J(2, 3, 8) J(1, 4, 10) S(3) S(4) J(1, 1, 3) Z(3) J(1, 1, 3)