Constant RECURSIVE_MACHINE_CHECK 

pub const RECURSIVE_MACHINE_CHECK: BUGCHECK_ERROR;