for i:=0; then i=i+1; while i<5:
j ::= i
- ra:[5]number
+ ra:[j]number
ra[i-1] = i*i
ra[6] = 42 // mustn't crash
print '', bools[i], ra[j-1],
###### test: structs
+ const three ::= 3
struct foo
- size:[3]number
+ size:[three]number
name:string
active:Boolean