<s> CTRL_C = <NUM_LIT:3> <EOL> CTRL_H = <NUM_LIT:8> <EOL> CTRL_J = <NUM_LIT:10> <EOL> CTRL_K = <NUM_LIT:11> <EOL> CTRL_L = <NUM_LIT:12> <EOL> CTRL_F = <NUM_LIT:6> <EOL> ENTER = <NUM_LIT> <EOL> CTRL_U = <NUM_LIT> <EOL> ESC = <NUM_LIT> <EOL> BACKSPACE = <NUM_LIT> <EOL> TAB = <NUM_LIT:9> <EOL> RIGHT = - <NUM_LIT:1> <EOL> DOWN = - <NUM_LIT:2> <EOL> UP = - <NUM_LIT:3> <EOL> LEFT = - <NUM_LIT:4> <EOL> SHIFTTAB = - <NUM_LIT:5> <EOL> SHIFTENTER = - <NUM_LIT:6> <EOL> SPACE = <NUM_LIT:32> <EOL> ANTISLASH = <NUM_LIT> </s>
