2 ^^ 32 == 1? I don't see that this makes any sense. It might be best to say this is undefined behavior, rather than enshrining it in the test suite.