pub const DEBUG_FORMAT_USER_SMALL_HANDLE_DATA: u32 = 2u32;