Added (untested) abstract machine.