# 
load
value 20
# [label:num[,num]*]* [label;size]*  
initial a:1,-3,40,0 b;1
value 10
#
exec 
value 20
#
final a:1,-3,40,0 b:38 R3:38
value 20
init a:9,10,10,0  
exec
value 10
final b:29 R3:29
value 20
end
