VAR v = ""
~ v = "a"
* inc
    ~ v = v + "b"
    {v}.
    -> END