Timon Gehr: > In generic code, it is possible and likely (as pure is inferred > for lambdas and template functions) that a pure function ends > up being called for potential side effects. Already tried that :-( Bye, bearophile