_udcidx_to_utf
extern hcode_type _udcidx_to_utf(int udcidx);
utf_code = _udcidx_to_utf(udc_index);
utf_code = _udcidx_to_utf(udc_index);
utf_code = _udcidx_to_utf(udc_index);
utf_code = _udcidx_to_utf(udc_index);
utf_code = _udcidx_to_utf(udc_index);
utf_code = _udcidx_to_utf(udc_index);
extern hcode_type _udcidx_to_utf(int udcidx);
utf_code = _udcidx_to_utf(udc_index);