rename DBX_REGISTER_NUMBER to DEBUGGER_REGNO