Proper writing of Stream_Element_Vectors to a stream.