A mirror of my implementation of the pimpf virtual machine (See http://lec.inf.ethz.ch/ifmp/2014/pimpf/pimpf.pdf for technical specifications)