pub const DEBUG_REGISTERS_INT32: u32 = 1u32;