(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]
)