(* synthesize *)
module sysArrayOutOfBounds1();
   Integer x[4] = {1, 2, 3, 4};
   x[5] = 17;

   rule test;
      for(Integer i = 0; i < 4; i = i + 1)
      begin
	 $display("%0d", x[i]);
      end
      $finish(0);
   endrule

endmodule