print_utf32
print_utf32(unicode_data[unichar].utf32nfdi);
print_utf32(unicode_data[unichar].utf32nfdicf);