Note that the output options effectively mirror the input options described in section 10.5 so that data may be conveniently “dumped” under these procedures and re-input (“undumped”?). See 10.20.13 and 10.20.14 for a list of useful batch procedures to dump/undump.