Package counter is the smallest realm that still proves the whole pipeline: it is deployed, approved, called with an int and a string, read back through Render and through QEval, and made to abort on purpose.
It imports nothing but strconv, deliberately. A smoke test that fails because a stdlib package moved between chain versions reports a problem with itself, not with the chain, and that is the one failure mode this file must not have.
Get is the QEval target: an int return, read with no gas and no key.
gnokey query vm/qeval -remote "https://rpc.onyx.testnets.gno.land" -data "gno.land/r/g16sk4fetd76jdfh63sannkglvj657th2c38eep8/smoke/s30629e2c/counter.Get()"