A virtual machine with an instruction set enough to model situations from The Little Book of Semaphores