loadkeys << EOF
  keycode 88 = F70 F71
  string F70 = "Kees Lemmens"
  string F71 = "Delft Netherlands"
EOF