int keyval_to_upper(int keyval);