when iterator is empty, just set coverage offset to 0. serialize() in coverage will at lease write out a 16-bit format header.