if (current < h.dataOffset) {
// DATA SEGMENT
json.beginObject(2, true, null);
json.writeAttribute(3, false, "type", "d");
json.writeAttribute(3, false, "offset", current);
json.writeAttribute(3, false, "size", h.dataOffset - current);
json.endObject(2, false);
}
json.beginObject(2, true, null);
json.writeAttribute(3, false, "type", "h");