Constant BC_BTHMINI_VERIFIER_FAULT 

pub const BC_BTHMINI_VERIFIER_FAULT: BUGCHECK_ERROR;