I am pondering about a piece of tooling code that we were using for a while here now, but which I suspect is actual undefined behaviour (at least, I got a couple of debugging sessions where it looks like references to dangling memory issues).