32-bit-casts.patch