data/full_repos/permissive/521781879/src/hello_world.v
data/verilator_xmls/67850bb2-853c-491b-87ae-ebde1f5cd9ed.xml
module HELLO_WORLD();
  initial begin
    $display("Hello World");
    $finish;
  end
endmodule
module HELLO_WORLD();

  initial begin
    $display("Hello World");
    $finish;
  end
endmodule