_utf_to_udcidx
extern int _utf_to_udcidx(hcode_type utf_code);
if ((udc_index = _utf_to_udcidx(utfcode)) != IDX_UDC_ERROR) {
if ((udc_index = _utf_to_udcidx(utfcode)) != IDX_UDC_ERROR) {
if ((udc_index = _utf_to_udcidx(utfcode)) != IDX_UDC_ERROR) {
extern int _utf_to_udcidx(hcode_type utf_code);
if ((udc_index = _utf_to_udcidx(utfcode)) != IDX_UDC_ERROR) {