z3_sys
pub unsafe extern "C" fn Z3_rcf_sub( c: Z3_context, a: Z3_rcf_num, b: Z3_rcf_num) -> Z3_rcf_num