Ah, I see. That explains

is carefully written to rely on undefined behaviour in the C++ specification - perhaps so it can be hardware accelerated in future.

I guess, haha