os.indent(6) << "\"" << op_name << "\",\n";
  }

  os.indent(4) << "});";
  os.indent(2) << "return *result;\n";
  os.indent(0) << "}\n";
}

static bool TFLiteOpCoverageSpecWritersMain(raw_ostream &os,
                                            RecordKeeper &records) {
  std::vector<Record *> op_defs = records.getAllDerivedDefinitions("TFL_Op");
  EmitStaticQuantOp(op_defs, &os);