1reg x[1:0];
2
3initial begin
4  x[0] = 0;
5  $write(x[0]); // Previous write succeeds, prints 0
6  x[1000] = 1;
7  $write(x[0]); // Previous write evaporates, prints 0
8  $write(x[1]); // Previous write evaporates, prints 0
9  $finish;
10end
11