I did mean to use the global shape here.  All the engines, as one collective operation, create a dataset in the HDF5 file of the right size to hold the entire DistArray.  It does mean that this probably isn't the best way to save a single LocalArray.