data/full_repos/permissive/143278/ivltests/string1.v
data/verilator_xmls/11d85325-6711-4e80-819e-dea16056afe3.xml
module main;

   initial
     begin
	$display("%s", "PASSED");
     end

endmodule
module main;


   initial
     begin
	$display("%s", "PASSED");
     end

endmodule