pub const NUMPRS_LEADING_WHITE: u32 = 1;