/*
** Return "true" if c is an ASCII character (0-127)
*/
isascii(c) char *c; {
  /* c is simulated unsigned integer */
  return (c <= 127);
  }