pub unsafe extern "C" fn PL_unify_integer(
    t: term_t,
    n: isize
) -> c_int