Surely the SPIN people had to do that?
I've wanted it a few times, too.
     Mika
=?UTF-8?Q?Dragi=C5=A1a_Duri=C4=87?= writes:
>Once, there was a talk about (original?) CM3 making checked runtime
>errors behave like exceptions?
>-- 
>DragiÅ¡a DuriÄ <dragisha at m3w.org>