nematch
extern int nematch(fa *, const char *);
if (nematch(pfa, rec)) {
if (nematch(pfa, s)) {
} while (nematch(pfa, s));