_HAS_CHOICE
SetStatus(typ, _HAS_CHOICE);
if ((type1->status & _HAS_CHOICE) || (type2->status & _HAS_CHOICE))
SetStatus(nftyp, _HAS_CHOICE);
if (!typ || !(typ->status & _HAS_CHOICE))
if (!typ || !(typ->status & _HAS_CHOICE))
_HAS_ARGS | _HAS_CHOICE | _RESIDENT,