assert-not-modified 1.0.0

Macro which, given a variable and a block of code, executes the block of code and checks that the variable has not changed.