variable a : assert a @ 42 <> throw ; 41 a ! assert