A CISC virtual machine with a tiny instruction set