I've attached a patch for your consideration.


On 31 October 2013 15:37, Stefan Monnier <monnier@iro.umontreal.ca> wrote:
> Sounds reasonable. Maybe we can use another name, though? Something in the
> lines of `helpers`, `extras`, etc.

I don't have a preference.


        Stefan