2     <;> nextstate(main 74 -e:1) v:%,{,469764096 ->3
-     <1> ex-exists vK/1 ->4
3        <+> multideref($h{"a"}) vK/EXISTS ->4