We don't have to tell GCC how to cast.