printDocArg("arg","An ASCII string"); printDocReturn("An ATermList containing the ASCII values of |arg| as ATermInts");
printDocArg("str","An ASCII string"); printDocReturn("An ATermList containing the ASCII values of #arg as ATermInts");
	private void genStaticStringToChars() {		printDocHead("Converts a string to an ATermList of integers (ASCII values)","");		printDocArg("arg","An ASCII string");		printDocReturn("An ATermList containing the ASCII values of |arg| as ATermInts");		printDocTail();		println("ATerm " + prefix + "stringToChars(const char *str) {");		println("  int len = strlen(str);");		println("  int i;");		println("  ATermList result = ATempty;");		println();		println("  for (i = len - 1; i >= 0; i--) {");		println("    result = ATinsert(result, (ATerm) ATmakeInt(str[i]));");		println("  }");		println();		println("  return (ATerm) result;");		println("}");		println();	}