g  <@> leave[1 ref] vKP/REFC ->(end)
1     <0> enter ->2
2     <;> nextstate(main 1 sym.pl:1) v ->3
5     <2> sassign vKS/2 ->6
3        <$> const[IV 1] s ->4
-        <1> ex-rv2sv sKRM*/1 ->5
4           <#> gvsv[*n] s ->5
6     <;> nextstate(main 1 sym.pl:2) v ->7
9     <2> sassign vKS/2 ->a
7        <$> const[PV "n"] s ->8
-        <1> ex-rv2sv sKRM*/1 ->9
8           <#> gvsv[*ref] s ->9
a     <;> nextstate(main 1 sym.pl:3) v ->b
f     <2> sassign vKS/2 ->g
b        <$> const[IV 2] s ->c
e        <1> rv2sv sKRM*/1 ->f
d           <1> rv2sv sKM/DREFSV,1 ->e
c              <#> gv[*ref] s ->d