:typeat 1 7 Vect
:typeat 7 36 xs
:q
