Instruction set for a hypothetical machine