I guess a `DataSpace` is guaranteed to be initialized with zeros?