:$ bar :var = 5 ~ var := 2 :$ leave in interrupt: {var} before: {var} ~ interrupt() :! foo checkpoint after: {var} ~ bar