/* This file is in the public domain. */

char *gets();

main()
{
 char line[256];

 while (gets(line) == line)
  { _foo_(line);
  }
}

number(kind,fmt,n)
char *kind;
char *fmt;
int n;
{
 printf("%s number: ",kind);
 printf(fmt,n);
 printf("\n");
}

trace(num,name)
int num;
char *name;
{
 printf("%s (%d)\n",name,num);
}

action_trace(what)
char *what;
{
 printf("%s\n",what);
}

straction(s)
char *s;
{
 printf("straction: %s\n",s);
}