4.1 The Y86 Instruction Set Architecture