Symbol: benum
games/atc/extern.h
121
const char *benum(char);
games/atc/input.c
143
state8[] = { { NUMTOKEN, 4, "%c", benum },