https://gcc.gnu.org/bugzilla/show_bug.cgi?id=79281
--- Comment #4 from James Clarke <jrtc27 at jrtc27 dot com> --- Ah, sorry, there's a separate C implementation of all this. I imagine it's the bools in "struct M" in runtime.h messing it up, so "struct Note" and "struct Lock" need __attribute__((aligned(4))) on their key fields.