pub unsafe extern "C" fn PL_same_compound(
    t1: term_t,
    t2: term_t
) -> c_int