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