Static FILE_EXTENSION_Z3

Source
pub static FILE_EXTENSION_Z3: &'static str