pub unsafe extern "C" fn PL_unify_wchars_diff(
    t: term_t,
    tail: term_t,
    type_: c_int,
    len: usize,
    s: *const pl_wchar_t
) -> c_int