Constant DRIVER_VERIFIER_IO_CHECKING 

pub const DRIVER_VERIFIER_IO_CHECKING: u32 = 16u32;