pub const DEBUG_FLR_KERNEL: DEBUG_FAILURE_TYPE = 1i32;