printDocReturn("String containing the characters from |arg| as characters");
printDocReturn("String containing the characters from #arg as characters");
	private void genStaticCharsToString() {		printDocHead("Converts a list of integers (ASCII values) to a C string","");		printDocArg("arg","An ATermList with ATermInts, such as [32,32,10]");		printDocReturn("String containing the characters from |arg| as characters");		printDocTail();		println("char *" + prefix + "charsToString(ATerm arg) {");		println("  ATermList list = (ATermList) arg;");		println("  int len = ATgetLength(list);");		println("  int i;");		println("  char *str;");		println();		println("  str = (char *) malloc(len+1);");		println("  if (str == NULL) {");		println("      return NULL;");		println("  }");		println();		println("  for (i = 0; !ATisEmpty(list); list = ATgetNext(list), i++) {");		println("    str[i] = (char) ATgetInt((ATermInt) ATgetFirst(list));");		println("  }");		println("  str[i] = '\\0';");		println();		println("  return str;");		println("}");		println();	}