!
! Always force:
!   F9 = F9
!   F10 = F10
!   F11 = F11
!   F12 = F12
!
keycode 45 = F9
keycode 41 = F10
keycode 43 = F11
keycode 47 = F12
!
! Always force:
!  Escape = Escape
keycode 39 = Escape