It can be nice to have a `public` keyword for storage variables in Act so we can generate getter specs automatically.
It can be nice to have a
publickeyword for storage variables in Act so we can generate getter specs automatically.