Virtual Machine for 8051