Functional virtual machine.