Constant mextk_sys::CARD_FILENAME_MAX

pub const CARD_FILENAME_MAX: u32 = 32;