Constant POOL_RAISE_IF_ALLOCATION_FAILURE 

pub const POOL_RAISE_IF_ALLOCATION_FAILURE: u32 = 16u32;