# <- comments
load
value 20
#       constants labels
#                      memory labels
#mem [label:num[,num]*]* [label;size]*  
initial x:-1 fx;1
value 20 
#
exec 
value 30
#
final fx:1
value 30
end
#
#init x:-3
#value 5
#exec 
#value 10
#final fx:2
#value 15
#end