Constant WIA_IPS_PRINTER_ENDORSER_COUNTER_DIGITS 

pub const WIA_IPS_PRINTER_ENDORSER_COUNTER_DIGITS: u32 = 4190u32;