This is a simple wrapper around grow for the common
case of pushing a value on the end of a vector.