Solid progress on Mem_Alloc and Mem_Init