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 enabled only when the use feature "state"
pragma
is in effect. See feature.