pub const MAXIMUM_SMARTCARD_READERS: u32 = 10u32;