boolector_sys
pub unsafe extern "C" fn boolector_parse( btor: *mut Btor, infile: *mut FILE, infile_name: *const c_char, outfile: *mut FILE, error_msg: *mut *mut c_char, status: *mut i32) -> i32