1// PKGPATH: gno.land/r/tests/vm/filetests/z1_filetest
2
3package z1_filetest
4
5import (
6 tests "gno.land/r/tests/vm"
7)
8
9func main(cur realm) {
10 println(tests.Counter(cross(cur)))
11 tests.IncCounter(cross(cur))
12 println(tests.Counter(cross(cur)))
13}
14
15// Output:
16// 0
17// 1
