Use Mike S's heap allocator (with a bug fix to correctly handle small blocks)