exception E;
fun f() = let exception E in raise E end;
f() handle E => "WRONG: Top-level E is caught"
         | _ => "OK";
val elist = [E, Size];

exception E' = E;
(raise E) handle E' => "OK";
(raise E') handle E => "OK";

exception G of int;
(raise G 20) handle G 10 => "WRONG: G 10"
                  | E    => "WRONG: E"
                  | G 20 => "OK";