#
load
value 20
#       constants labels
#                      memory labels
#mem [label:num[,num]*]* [label;size]*  
initial a:1 b:2 c:3 m;2 n;1
value 20 
#
exec 
value 30
#
final R1:1 R2:2 R3:3 m:1,2 n:3
value 30
end
