3  <0> pushmark s
4  <#> gv[*x] s
5  <1> rv2av[t3] lKRM/1
6  <#> gvsv[*y] sM
7  <@> push[t5] vK/2
-  <1> ex-list vK