Function Sylvan_mtbdd_reader_frombinary 

pub unsafe extern "C" fn Sylvan_mtbdd_reader_frombinary(
    file: *mut FILE,
    dds: *mut MTBDD,
    count: c_int,
) -> c_int