pub const RECURSIVE_MACHINE_CHECK: BUGCHECK_ERROR = 251u32;