pub const DRIVER_VERIFIER_INJECT_ALLOCATION_FAILURES: u32 = 4u32;