Constant MAXIMUM_SMARTCARD_READERS 

pub const MAXIMUM_SMARTCARD_READERS: u32 = 10u32;