$ bar
	:5 var

	~ var := 2

	$ leave
		in interrupt: {var}

	before: {var}

	~ interrupt()

	§ foo
		checkpoint

	after: {var}

~ bar