$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)
end