int keyval_to_lower(int keyval);