import Vector::*;

(* synthesize *)
module sysVectorUninitErr1();

  Vector#(5, UInt#(32)) v;

  for(Integer i = 0; i < 4; i = i + 1)
    v[i] = fromInteger(2*i);

  rule test;
    for(Integer j = 0; j < 5; j = j + 1)
      $display("v[%0d] = %0d", j, v[j]);
  endrule

endmodule