This is a general purpose allocator with excellent performance
characteristics. Initially developed by Daan Leijen for the
run-time systems of the Koka and Lean languages.

It is a drop-in replacement for malloc and can be used in other
programs without code changes.