Symbol: GDB_REG_R15