INT x = 1:
[x]INT i:
STOP