: StringLiteral Pragmas := [<pragma1>, <pragma

: BoolFlag Pragmas := [<pragma1>, <pragma

: BoolFlag Pragmas := [<pragma1>, <pragma [...] Pragmas contains a list

: text Pragmas := [<pragma1>, <pragma [...] meta data. Pragmas

Pragmas: [ {PragmaList} ] {PragmaList} ::= {Pragma} |

Compiler pragmas GVLs [...] pragmas These pragmas