state declares a lexically scoped variable, just like my does.
However, those variables will never be reinitialized, contrary to
lexical variables that are reinitialized each time their enclosing block
is entered.
state variables are only enabled when the feature 'state'
pragma is
in effect. See feature.