On 6/2/15 5:53 PM, Timon Gehr wrote: > Indeed, but I think this facility is undocumented. Maybe it should be > exposed via the standard library? A good idea, please bugzilla so we don't forget. -- Andrei