pub unsafe extern "C" fn _PL_unify_atomic(
    t: term_t,
    a: PL_atomic_t
) -> c_int