define JOIN2X1( a0?, a1?, b?, c0!, c1! ) = pref *[ (a0? || b?); c0! | (a1? || b?); c1! ] end