-- disallow storage class specifiers in sturct/union members
-- the expect macros abort functions directly. This leads to some functions
- not resetting the current context properly (parse_for); expect in expressions
- suddenly return NULL which triggers asserts
-- label: declaration; is no valid C99 but we parse it anyway