println("  public String " + "charsToString(aterm.ATerm arg) {"); println("    aterm.ATermList list = (aterm.ATermList) arg;"); println("    int len = list.getLength();"); println("    StringBuffer str = new StringBuffer();"); println(); println("    for (int i = 0; !list.isEmpty(); list = list.getNext(), i++) {"); println("      str.append((char) ((aterm.ATermInt) list.getFirst()).getInt());"); println("    }"); println(); println("    return str.toString();"); println("  }"); println(); }
println("  public String " + "charsToString(aterm.ATerm arg) {"); println("    aterm.ATermList list = (aterm.ATermList) arg;"); println("    StringBuffer str = new StringBuffer();"); println(); println("    for (int i = 0; !list.isEmpty(); list = list.getNext(), i++) {"); println("      str.append((char) ((aterm.ATermInt) list.getFirst()).getInt());"); println("    }"); println(); println("    return str.toString();"); println("  }"); println(); }
    private void genCharsToString() {        println("  public String " + "charsToString(aterm.ATerm arg) {");        println("    aterm.ATermList list = (aterm.ATermList) arg;");        println("    int len = list.getLength();");        println("    StringBuffer str = new StringBuffer();");        println();        println("    for (int i = 0; !list.isEmpty(); list = list.getNext(), i++) {");        println("      str.append((char) ((aterm.ATermInt) list.getFirst()).getInt());");        println("    }");        println();        println("    return str.toString();");        println("  }");        println();    }