A virtual machine for Pseudo-code programs