12 lines
217 B
Text
12 lines
217 B
Text
$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
|