Update mem.sml