1 /* Generated automatically */

     2 static void taddchr _((int c));

     3 static void taddstr _((char*s));

     4 static void taddlist _((Estate state,int num));

     5 static void taddnl _((void));

     6 static void gettext2 _((Estate state));