exception a in
  exception b in 
    try 
      (fun foo(x:exn): int is
       raise[int] x end) b
    catch a with
      5
    end
  end
end
;