Updating: adding memory$alloc and memory$free