Constant NUMPRS_USE_ALL

pub const NUMPRS_USE_ALL: u32 = 4096;