uctolower
printf("LOWER 0x%04lX\n", uctolower(0xff3a));
lo = uctolower(0x1d5);
krb5_ui_4 uctolower(krb5_ui_4 code);
krb5_unicode uu1 = uctolower(*u1);
krb5_unicode uu2 = uctolower(*u2);