#define N 2

init { /* file: stexamp2.promela */

chan dummy = [N] of { byte } ;

do

:: dummy!85

:: dummy!170

od

}