Namespace: > Good point. I had completely forgotten, that that is possible. > But it seems that no one would have interest in my second > proposal. :) Similar things were discussed a lot. And some people think that similar nonnull annotations are a good idea. Bye, bearophile