exception a in
  exception b in 
    try 
      raise[int] b
    catch b with
      5
    end
  end
end
;