A little virtual machine for javascript