seg_GIF interface: output the rest of the GIF products into the OutputSpecs