How are any of these achieved by a vector-like type with capacity frozen at construction time?