data/full_repos/permissive/143278/ivltests/pr1561597.v
data/verilator_xmls/2bbbf325-06b4-42f3-bc19-5d44aad87bad.xml
module evidence;
   reg [4:0] y = 5'h10;
   initial begin
      $display(y[4], y[1<<2]);
      if (y[1<<2] !== 1'b1) begin
	 $display("FAILED");
	 $finish;
      end
      $display("PASSED");
   end
endmodule
module evidence;

   reg [4:0] y = 5'h10;
   initial begin
      $display(y[4], y[1<<2]);
      if (y[1<<2] !== 1'b1) begin
	 $display("FAILED");
	 $finish;
      end
      $display("PASSED");
   end
endmodule