Constant SCARD_RESET_CARD 

pub const SCARD_RESET_CARD: u32 = 1u32;