Symbol: pushchar
usr/src/cmd/format/io.c
157
pushchar(c);
usr/src/cmd/format/io.c
65
static void pushchar(int c);