pub const DEBUG_REGISTERS_INT64: u32 = 2u32;