Update mem_manage.h