Action:

||allocate a cell
|then
|||store 5 in it and bind "x" to it
||before
|||bind "f" to
|||||closure abstraction (give the integer stored in (the cell bound to "x"))
hence
||store 10 in the cell bound to "x"
|and
||enact the abstraction bound to "f"

Incomplete...