pub unsafe extern "C" fn PL_unify_bool_ex(
    t: term_t,
    val: c_int
) -> c_int