data/full_repos/permissive/143278/ivltests/pr1691709.v
data/verilator_xmls/357dccfb-fa8d-4ca8-b738-4a54f7d46c5b.xml
module test();

   reg [11:2] a[0:0];
   initial
     begin
	a[0] = 5;
	if (a[0] !== 5) begin
	   $display("FAILED -- a[0] = %d", a[0]);
	   $finish;
	end
	$display("PASSED");
     end

endmodule
module test();


   reg [11:2] a[0:0];
   initial
     begin
	a[0] = 5;
	if (a[0] !== 5) begin
	   $display("FAILED -- a[0] = %d", a[0]);
	   $finish;
	end
	$display("PASSED");
     end

endmodule