void printReg(string regname)
regname
Print the contents of the register. For example, printReg(“R0”) outputs R0=0x1234567.