Frama-C does not yet support _Alignof and _Alignas, but this header helps
parsing code and emitting a proper error message.