hmm_malloc, hmm_free:general-purpose storage allocator, free