k     <2> sassign vKS/2 ->l
i        <$> const(IV 0) s ->j
-        <1> ex-rv2sv sKRM*/1 ->k
j           <$> gvsv(*a) s ->k