protected void genGetHead() {
private void genGetHead() {
    protected void genGetHead() {        println("  public " + elementTypeName + " getHead() {");        String convertedValue =            getConverter().makeATermToBuiltinConversion(elementType, "getFirst()");        println("    return (" + elementTypeName + ")" + convertedValue + ";");        println("  }");        println();    }