71 static char *currtok(void);
176 	char *token = currtok();  in comment()
190 	char *token = currtok();  in arch_name()
241 	char *token = currtok();  in set_list()
268 	char *token = currtok();  in set()
334 			token = currtok();  in set()
374 	token = currtok();  in set()
389 	char *token = currtok();  in set_parents()
404 	token = currtok();  in set_parents()
469 	char *token = currtok();  in accept_token()
494 	char *token = currtok();  in skip_to()
542 currtok(void)  in currtok()  function