Constant CCODE::NUMPRS_STD

pub const NUMPRS_STD: u32 = 8191;