Adding minimal file API so RangeVectors can conceivably be saved to disk