pub const DEBUG_REGISTERS_FLOAT: u32 = 4u32;