A PEG virtual machine