The current implementation zero-fills (via make_zero_storage) to avoid UB on uninitialised reads. The empty name signals that callers must not rely on the values — future implementations may switch to a true uninitialised allocator.