encoding_string : output stream operator to generic.