4 if 13 = 1 + switch(fn t
=> prepare (t
, 12))
5 then print
"1 succeeded\n"
9 if 13 = 1 + switch(fn t
=>
10 prepare (new(fn () => switch(fn _
=> prepare (t
, 12))), ()))
11 then print
"2 succeeded\n"
15 if 13 = switch(fn t
=> prepare (prepend(t
, fn n
=> n
+ 1), 12))
16 then print
"3 succeeded\n"
20 if 13 = switch(fn t
=>
22 let val t
= prepend(t
, fn n
=> n
+ 1)
23 in switch(fn _
=> prepare (t
, 12))
26 then print
"4 succeeded\n"