printDocReturn("The number of elements in |arg|, excluding any separators");
printDocReturn("The number of elements in #arg, excluding any separators");
	private void genGetSeparatedLength(String typeId, String typeName,			Separators seps) {		String decl = "int " + prefix + "get" + typeId + "Length (" + typeName				+ " arg)";		hprintln(decl + ";");		printDocHead("Retrieve the number of elements in a " + typeName,"");		printDocArg("arg","input " + typeName);		printDocReturn("The number of elements in |arg|, excluding any separators");		printDocTail();		println(decl + " {");		println("  if (ATisEmpty((ATermList) arg)) {");		println("    return 0;");		println("  }");		println("  return (ATgetLength((ATermList) arg) / "				+ (seps.getLength() + 1) + ") + 1;");		println("}");		println();	}