Warn about 64 to 32 bit conversion