A=42
Assert(A=42,"Assert that A=42")
A=42-1
Assert(A=42)