data/full_repos/permissive/123527973/hello.v
data/verilator_xmls/d49da160-3f28-49ab-86f9-ea01388b1643.xml
module main();

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


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