Memory allocator for 15-213.