Symbol: mark_symbol
usr.bin/yacc/reader.c
1556
if (mark_symbol())
usr.bin/yacc/reader.c
97
int mark_symbol(void);