file {
  .version = 1;
  entity {
    .name = "module_c";
    .mra_file = "module_c.mra";
    .arch = {"verilog"};
    .syn_files = {"module_c%verilog.syn", "module_c%verilog__verilog.syn"};
   }
}