state_puts ("[-- Error: unexpected end of file! --]\n", s);
state_puts (_("[-- Error: unexpected end of file! --]\n"), s);
static int handler_state_fgetc(STATE *s){  int ch;    if((ch = fgetc(s->fpin)) == EOF)  {    dprint(1, (debugfile, "handler_state_fgetc: unexpected EOF.\n"));    state_puts ("[-- Error: unexpected end of file! --]\n", s);  }  return ch;}