+ if (i < len)
+ {
+ MConverter *converter = mconv_stream_converter (Mutf8, stdout);
+ int from;
+
+ printf ("</pre></div><p>\n@endhtmlonly\n");
+ printf ("@latexonly\n\\begin{verbatim}\n");
+ if (i > 0)
+ mconv_encode_range (converter, mt, 0, i);
+ for (from = i; i < len; i++)
+ {
+ c = mtext_ref_char (mt, i);
+ if (c >= 0x100)
+ {
+ if (i > from)
+ mconv_encode_range (converter, mt, from, i);
+ printf ("U+%04X", c);
+ from = i + 1;
+ }
+ }
+ if (i > from)
+ mconv_encode_range (converter, mt, from, i);
+ printf ("\\end{verbatim}\n@endlatexonly\n");
+ mconv_free_converter (converter);
+ }
+ else
+ printf ("@endverbatim\n");