Frama-c does not know about =_Alignof=, because this is detected as a compiler built-in. I have not found any way more elegant than that.