$define DEBUG 1 # this allows the assertions to go through
procedure check (a)
if DEBUG then stop (42 = a, " is invalid value for 'a'")
write (a)
end
procedure main ()
check (10)
check (42)
check (12)