init { /* file: stexamp1.promela */
byte i = 0;
do
:: i = i+1
od
}