> Do input arguments of pure functions need the @transparent attributes? Is dropping it ouside the pure subset of the program safe/acceptable? I think so. Sorry, in my opinion the answers to those questions are no and yes. Bye, bearophile