On Sun, Oct 18, 2020 at 04:43:11PM -0400, Stefan Monnier wrote:
> > Other question is, if there is any function other than pushnew, if I
> > do not wish to use the pushnew?
> 
> Of course there is.  And if you don't like the name `pushnew`, for
> example [...]

Huh. You just made me aware (again) of how differently two people can
read one and the same thing.

Anyway, now the OP has the choice :-)

Cheers
 - t