ICV_UTF32_ARABIC_NONCHAR_END_fdef
u4 <= ICV_UTF32_ARABIC_NONCHAR_END_fdef)) {
u4 <= ICV_UTF32_ARABIC_NONCHAR_END_fdef)) {
u4 <= ICV_UTF32_ARABIC_NONCHAR_END_fdef)) {
u4 <= ICV_UTF32_ARABIC_NONCHAR_END_fdef)) {
u4 <= ICV_UTF32_ARABIC_NONCHAR_END_fdef)) {