Constant DRIVER_VERIFIER_INJECT_ALLOCATION_FAILURES 

pub const DRIVER_VERIFIER_INJECT_ALLOCATION_FAILURES: u32 = 4u32;