pub unsafe extern "C" fn PL_unify_pointer(
    t: term_t,
    ptr: *mut c_void
) -> c_int