printDocArg("arg","an ASCII character"); printDocReturn("An ATerm representing the ASCII value of |arg|");
printDocArg("ch","an ASCII character"); printDocReturn("An ATerm representing the ASCII value of #arg");
	private void genStaticByteToChar() {		printDocHead("Converts an ASCII char to an ATermInt","");		printDocArg("arg","an ASCII character");		printDocReturn("An ATerm representing the ASCII value of |arg|");		printDocTail();		println("ATerm " + prefix + "byteToChar(char ch) {");		//		println("{");		println("    return (ATerm) ATmakeInt(ch);");		println("}");		println();	}