int keyval_to_unicode(int keyval);