Constant CARD_AUTHENTICATE_GENERATE_SESSION_PIN 

pub const CARD_AUTHENTICATE_GENERATE_SESSION_PIN: u32 = 268435456u32;