Source files for virtual machine.