string keyval_name(int keyval);