Action:

| | | give 3
| | and 
| | | allocate a cell
| then 
| | | bind "x" to the given cell # 2
| | and 
| | | store (the given datum # 1) in (the given cell # 2)
hence 
| | | | give (the datum stored in (the cell bound to "x"))
| | | and 
| | | | give 5
| | then 
| | | give (sum ( (the given integer # 1) , (the given integer # 2) ))
| then 
| | store (the given datum) in (the cell bound to "x")

The above action is the meaning of the following Specimen program:

program simple1 =
var x : int := 3
in
x := x + 5
end