INPUT_CHAR,

  INPUT_LINE,

  INPUT_LINE_CONTINUED,

};

/* get a character.  Exit with no fuss on EOF.  */

static int xgetchar(void)

{

  int c = getchar();

  if (c == EOF) {

    if (feof(stdin)) {

      fprintf(stderr, "\nEOT\n");

      exit(0);

    }

    os_fatal(strerror(errno));

  }

  return c;

}

/* Read one line, including the newline, into s.  Safely avoids buffer

 * overruns (but that's kind of pointless because there are several

 * other places where I'm not so careful).  */

static void getline_(char *s)

{

  int c;

  while (p < s + INPUT_BUFFER_SIZE - 1)

    if ((*p++ = xgetchar()) == '\n') {

      *p = '\0';

      return;

    }

  p[-1] = '\n';

  p[0] = '\0';

  while ((c = xgetchar()) != '\n')

    ;

  printf("Line too long, truncated to %s\n", s - INPUT_BUFFER_SIZE);

}

/* Translate in place all the escape characters in s.  */

static void translate_special_chars(char *s)

{

  char *src = s, *dest = s;

  while (*src)

    switch(*src++) {

    default: *dest++ = src[-1]; break;

    case '\n': *dest++ = ZC_RETURN; break;

    case '\\':

      switch (*src++) {

      case '\n': *dest++ = ZC_RETURN; break;

      case '\\': *dest++ = '\\'; break;