Symbol: pushtag
usr.bin/mg/tags.c
136
return pushtag(tok);
usr.bin/mg/tags.c
33
static int pushtag(char *);