Constant DEBUG_REGISTERS_INT64

pub const DEBUG_REGISTERS_INT64: u32 = 2u32;