Some VirtualMachine functions are renamed.