Symbol: GDB_REG_T3