pub type Z3_fixedpoint_new_lemma_eh = Option<unsafe extern "C" fn(state: *mut c_void, lemma: Z3_ast, level: c_uint)>;