(with v [1,2,3]
(textout (get v 1)) // <= 2
(erase v 1)
(textout v) // <= [1, 3]
(append v 7)
(textout v) // <= [1, 3, 7]
)