There is an explanation for every one of them, the pointer equality one has code, too.

try it with `gcc -O1` and you will get a different result than with `gcc -O0`