Update mm_alloc.h