Timon Gehr: > The problem is, that inside a non-leaky pure function the general case for dynamic > allocations might be just as complicated as in other parts of the program. If this is true, then you need a sealed temporary heap. Bye, bearophile