Standard priorities
val P_HIGH = 100;
val P_HIGH = 100;
val P_NORMAL = 1000;
val P_NORMAL = 1000;
val P_LOW = 10000;
val P_LOW = 10000;
Standard declarations
UNIT
colset UNIT = unit;
BOOL
INT
INTINF
colset INTINF = intinf;
TIME
colset TIME = time;
REAL
colset REAL = real;
STRING
p1
UNIT
p2
UNIT
1`()
p3
UNIT
p4
UNIT
p5
UNIT
1`()
p6
UNIT
t1
t2
t3
t5
t4
t6
1`()
1`()
1`()
1`()
2`()
1`()
1`()
1`()
1`()
1`()
2`()
1`()
1`()
1`()
4`()