public static void HandleError(Error e)
{
switch (e) {
case Error.NoError: return;
case Error.NoSuchFileOrDirectory: throw new FileNotFoundException ();
case Error.PermissionDenied: throw new AccessViolationException ();
default:
throw new Exception ("Error: " + e.ToString ());
}
}