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,
    parsed_smt2: *mut bool
) -> i32