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