do {- ... -}
   throwIO SomeException