A reversible, performance oriented stack machine with a clean instruction set and a virtual machine implementation.