module

meta import Initialize.Basic

/-- info: 42 -/
#guard_msgs in
#eval initNat

/-- info: #["ref3", "ref2", "ref1", "ref4"] -/
#guard_msgs in
#eval ref.get