keycode  60 = F2 F14 Console_14   F50 F62 F74  F96 F108 F120 F132 F144
        control keycode  60 = F26
        shift   control keycode  60 = F38
        alt     keycode  60 = Console_2
        control alt     keycode  60 = Console_2
keycode  61 = F3 F15 Console_15   F51 F63 F75  F97 F109 F121 F133 F145
        control keycode  61 = F27
        shift   control keycode  61 = F39
        alt     keycode  61 = Console_3
        control alt     keycode  61 = Console_3
keycode  62 = F4 F16 Console_16   F52 F64 F76  F98 F110 F122 F134 F146
        control keycode  62 = F28
        shift   control keycode  62 = F40
        alt     keycode  62 = Console_4
        control alt     keycode  62 = Console_4
keycode  63 = F5 F17 Console_17   F53 F65 F77  F99 F111 F123 F135 F147
        control keycode  63 = F29
        shift   control keycode  63 = F41
        alt     keycode  63 = Console_5
        control alt     keycode  63 = Console_5
keycode  64 = F6 F18 Console_18   F54 F66 F78  F100 F112 F124 F136 F148
        control keycode  64 = F30
        shift   control keycode  64 = F42
        alt     keycode  64 = Console_6
        control alt     keycode  64 = Console_6
keycode  65 = F7 F19 Console_19   F55 F67 F79  F101 F113 F125 F137 F149
        control keycode  65 = F31
        shift   control keycode  65 = F43
        alt     keycode  65 = Console_7
        control alt     keycode  65 = Console_7
keycode  66 = F8 F20  Console_20  F56 F68 F80  F102 F114 F126 F138 F150
        control keycode  66 = F32
        shift   control keycode  66 = F44
        alt     keycode  66 = Console_8
        control alt     keycode  66 = Console_8
keycode  67 = F9 F21 Console_21   F57 F69 F81  F103 F115 F127 F139 F151
        control keycode  67 = F33
        shift   control keycode  67 = F45
        alt     keycode  67 = Console_9
        control alt     keycode  67 = Console_9
keycode  68 = F10 F22 Console_22  F58 F70 F82  F104 F116 F128 F140 F152
        control keycode  68 = F34
        shift   control keycode  68 = F46
        alt     keycode  68 = Console_10
        control alt     keycode  68 = Console_10

## '*.hiccup.*. 


keycode  87 = F11 F23 Console_23        F58 F70 F82 F104 F116 F128 F140 F152
        control keycode  87 = F35
        shift   control keycode  87 = F47
        alt     keycode  87 = Console_11
        control alt     keycode  87 = Console_11
keycode  88 = F12 F24 Console_24        F59 F71 F83 F105 F117 F129 F141 F153
        control keycode  88 = F36
        shift   control keycode  88 = F48
        alt     keycode  88 = Console_12
        control alt     keycode  88 = Console_12

