pub unsafe extern "C" fn PL_unify_list_ex(
    l: term_t,
    h: term_t,
    t: term_t
) -> c_int