nifile
int nifile(void);
if (nifile() == 0) {
if (nifile() > 0) {
} else if (nifile() == 0) {
return (ntags() ? (ntags() > 1) : (nifile() > 1));
ap_int(nifile());