The virtual machine, MicroStackMachine (MSM), consists of:  a program counter (PC),  a dynamically allocated number of integer registers, and  a stack of integers.  A program for the MSM is a zero-indexed sequence of instructions. The execution of a program in the MSM might halt with an error.