_checkfield
return (_checkfield(TypeL(t), f, ArgL(arg)) ||
_checkfield(TypeR(t), f, ArgR(arg)));
extern int _checkfield(FIELDTYPE *, FIELD *, char *);
#define CheckField(f) (_checkfield((f) -> type, (f), (f) -> arg))