: BoolFlag Pragmas := [<pragma1>, <pragma [...] TaskFlags) END_SEC SEC Custom
Pragmas: [ {PragmaList} ] {PragmaList} ::= {Pragma} |