int unicode_to_keyval(int wc);