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