Constant WIA_IPA_FILENAME_EXTENSION 

pub const WIA_IPA_FILENAME_EXTENSION: u32 = 4123u32;