try
{
if (false) throw new cli.System.ArgumentOutOfRangeException();
if (false) throw new cli.System.IO.IOException();
if (false) throw new cli.System.ObjectDisposedException("");
fs.Unlock(pos, size);
}
catch (cli.System.ArgumentOutOfRangeException x)
{
throw new IOException(x.getMessage());
}