=over =item state EXPR X =item state TYPE EXPR =item state EXPR : ATTRS =item state TYPE EXPR : ATTRS C declares a lexically scoped variable, just like C does. However, those variables will never be reinitialized, contrary to lexical variables that are reinitialized each time their enclosing block is entered. C variables are enabled only when the C pragma is in effect. See L. =back