297                         KEY_RIGHTALT,    DOWN,  XKB_KEY_ISO_Level5_Shift,  NEXT,  in main()
306                         KEY_RIGHTALT,    UP,    XKB_KEY_ISO_Level5_Shift,  NEXT,  in main()
315                         KEY_RIGHTALT,    DOWN,  XKB_KEY_ISO_Level5_Shift,  NEXT,  in main()
321                         KEY_RIGHTALT,    UP,    XKB_KEY_ISO_Level5_Shift,  NEXT,  in main()
324                         KEY_RIGHTALT,    DOWN,  XKB_KEY_ISO_Level5_Shift,  NEXT,  in main()
333                         KEY_RIGHTALT,    UP,    XKB_KEY_ISO_Level5_Shift,  NEXT,  in main()
336                         KEY_RIGHTALT,    DOWN,  XKB_KEY_ISO_Level5_Shift,  NEXT,  in main()
344                         KEY_RIGHTALT,    UP,    XKB_KEY_ISO_Level5_Shift,  NEXT,  in main()
347                         KEY_RIGHTALT,    DOWN,  XKB_KEY_ISO_Level5_Shift,  NEXT,  in main()
354                         KEY_RIGHTALT,    UP,    XKB_KEY_ISO_Level5_Shift,  NEXT,  in main()
406                         KEY_RIGHTALT,  DOWN, XKB_KEY_Mode_switch,       NEXT,  in main()
408                         KEY_RIGHTALT,  UP,   XKB_KEY_ISO_Level3_Shift,  NEXT,  in main()
410                         KEY_RIGHTALT,  DOWN, XKB_KEY_Mode_switch,       NEXT,  in main()
412                         KEY_RIGHTALT,  UP,   XKB_KEY_ISO_Level3_Shift,  NEXT,  in main()
432                         KEY_RIGHTALT,  DOWN, XKB_KEY_Mode_switch,       NEXT,  in main()
438                         KEY_RIGHTALT,  UP,   XKB_KEY_ISO_Level3_Shift,  NEXT,  in main()
447                         KEY_RIGHTALT,  DOWN, XKB_KEY_ISO_Level3_Shift,  NEXT,  in main()
449                         KEY_RIGHTALT,  UP,   XKB_KEY_ISO_Level3_Shift,  FINISH));  in main()