- var _n_base: nullable $baseprod
- fun n_base: nullable $baseprod do return _n_base
- fun n_base=(n_base: nullable $baseprod_ do _n_base = n_base
- var _n_eof: EOF
- fun n_eof: EOF do return _n_eof
- fun n_eof=(n_eof: EOF) do _n_eof = n_eof
+ var n_base: nullable $baseprod is writable, noinit
+ var n_eof: EOF is writable, noinit