Add abstract VirtualMachine, Add a part of Dispatcher.