https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99810
--- Comment #3 from gcc at cookiesoft dot de --- I actually haven't, but yes, you're right that it will print out the correct value. I'm somewhat sorry for the noise. Is there a reason, e.g. performance, that the .word is "wrong"?