allocator round-trip: ok
