FILE *fp;
__db_prflags(flags, fn)	u_int32_t flags;	FN const *fn;{	FILE *fp;	const FN *fnp;	int found;	const char *sep;	fp = __db_prinit(NULL);	sep = " (";	for (found = 0, fnp = fn; fnp->mask != 0; ++fnp)		if (fnp->mask & flags) {			fprintf(fp, "%s%s", sep, fnp->name);			sep = ", ";			found = 1;		}	if (found)		fprintf(fp, ")");}