/* This is a trick with the bits used for encoding the Cmp
Proj numbers, the following statement is not the same:
return new_tarval_from_long(pn_cmp == pn_Cmp_Eq, mode_b) */
/* This is a trick with the bits used for encoding the Cmp
Proj numbers, the following statement is not the same:
return new_tarval_from_long(pn_cmp == pn_Cmp_Eq, mode_b) */