KEY_F13
{ 0x71, KEY_F13 }, /* General-purpose button */
NONE, KEY_F13, NONE, NONE,
KEY_RIGHTALT, NONE, NONE, KEY_F13,
KEY_F13, KEY_F14, KEY_F15, KEY_F16,
KEY_F13, KEY_F14, KEY_F15, KEY_F16,
{ .name = "KEY_F13", .value = KEY_F13 },
[KEY_F13] = "KEY_F13",