readme: figure out 32-bit registers
debugger: modify utilities to figure out extop codes