/* Generated automatically */
static void taddchr _((int c));
static void taddstr _((char*s));
static void taddlist _((Estate state,int num));
static void taddnl _((void));
static void gettext2 _((Estate state));