let
wsfail msg = raise(
Failure
(msg))