2013 version of the micropascal virtual machine