Symbol: vtoken
usr/src/cmd/tip/value.c
132
vtoken(s);
usr/src/cmd/tip/value.c
21
static void vtoken(char *);