write_utf8() is used in iso2022.c as of r6378; declare it.