See [mem.poly.allocator.mem].