Constant DRIVER_VERIFIER_TRACK_POOL_ALLOCATIONS 

pub const DRIVER_VERIFIER_TRACK_POOL_ALLOCATIONS: u32 = 8u32;