Introduce a custom memory allocator (and implement in a few places initially)
to facilitate experimentation with huge pages, etc....