Armin Rigo wrote: > We tried to avoid all non-prebuilt exceptions for control flow purposes. > I think that in any performance-critical place there is only > OperationError that could possibly be instantiated at run-time. I supposed this, but I was not sure. Good news :-). ciao, Anto