VAR x = ->knot Count start: {READ_COUNT (x)} {READ_COUNT (-> knot)} {knot} -> x (1) -> -> x (2) -> -> x (3) -> Count end: {READ_COUNT (x)} {READ_COUNT (-> knot)} {knot} -> END == knot (a) == {a} ->->