Andrei Alexandrescu: > Done. removeAny was my choice as of a few months ago but I'd forgotten. I suggest to call it just "pop". Bye, bearophile