throws IOException
  private String parseId(ATermReader reader)  {    int c = reader.getLastChar();    StringBuffer buf = new StringBuffer(32);    do {      buf.append((char)c);      c = reader.read();    } while (Character.isLetter((char)c) || c == '_');    return buf.toString();  }