Executable file format, calculate stack addresses, machine code implementation for VM