swapped opcode for HALT and NOP according to CS:APP