Symbol: do_mem_alloc