println("  public String " + "charsToString(aterm.ATerm arg) {");
println("  public static String charsToString(aterm.ATerm arg) {");
	private void genCharsToString() {		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();	}