String operator_name = capitalize(buildId(alt.getId()));
String operator_name = buildId(alt.getId());
  private void genTomAltOperator(Type type, Alternative alt) {    String class_name = buildClassName(type);    String operator_name = capitalize(buildId(alt.getId()));    String alt_class_name = buildAltClassName(type,alt);          print  ("%op " + class_name + " " + operator_name); // operator_name if Tom can deal with it        Iterator fields = type.altFieldIterator(alt.getId());    if (fields.hasNext()) {      print("(");      while (fields.hasNext()) {        Field field = (Field) fields.next();        String field_id = buildId(field.getId());        String field_class = buildClassName(field.getType());        String field_type = field_class;        print  (field_id + ":" + field_type);              if (fields.hasNext()) {          print (", ");        }      }      print(")");    }    println(" {");    println("  fsym { }");      /*       * The following cast is not necessary.       * It could be replaced by subject = "t"       * This is to be compatible when the strictType option is not set       */      String subject = "t";      println("  is_fsym(t) { (" + subject + "!=null) && " + subject + ".is" + operator_name + "() }");      // to be compatible with --lazyType      //String subject = "((" + class_name + ")t)";      //println("  is_fsym(t) { (t instanceof " + class_name  + ")?" + subject + ".is" + operator_name + "():false }");    fields = type.altFieldIterator(alt.getId());    while (fields.hasNext()) {      Field field = (Field) fields.next();      String field_id = buildId(field.getId());      println("  get_slot(" + field_id + ",t) { " + subject + ".get" + capitalize(field_id) +              "() }");    }     String arg = "(";    int arity = computeAltArity(type,alt);    for(int i = 0; i < arity; i++) {      arg += ("t" + i);      if (i < arity - 1) {        arg += ", ";      }    }    arg += ")";    println("  make" + arg + " { get" + api_factory + "().make" + alt_class_name +             arg + "}");        println("}");    println();      }