DEBUG_REGISTERS_INT32

Constant DEBUG_REGISTERS_INT32 

pub const DEBUG_REGISTERS_INT32: u32 = 1u32;