A virtual machine to help authors create assembler images