class A [G -> ANY] feature g (v: G) is do print (v) print ("%N") end end