Comment by MangoToupe

You call the use of memory something other than "allocation". Ez.

I thought that passing down allocators was core to the language. I was mistaken. This is actually quite nice for writing allocation code when you'd like to opt into it.