leave
   enter
   nextstate
   aassign
      pushmark
      const   a
      const   b
      pushmark
      rv2av
         gv
   nextstate
   sassign
      shift
         rv2av
            gv
      rv2sv
         scope
            shift
               rv2av
                  gv