require ./tester.fs { k-left true -> cr ." Please press " ekey ekey>fkey } { k-right true -> cr ." Please press " ekey ekey>fkey } { k-up true -> cr ." Please press " ekey ekey>fkey } { k-down true -> cr ." Please press " ekey ekey>fkey } { k-home true -> cr ." Please press " ekey ekey>fkey } { k-end true -> cr ." Please press " ekey ekey>fkey } { k-prior true -> cr ." Please press " ekey ekey>fkey } { k-next true -> cr ." Please press " ekey ekey>fkey } { k-f1 true -> cr ." Please press " ekey ekey>fkey } { k-f2 true -> cr ." Please press " ekey ekey>fkey } { k-f3 true -> cr ." Please press " ekey ekey>fkey } { k-f4 true -> cr ." Please press " ekey ekey>fkey } { k-f5 true -> cr ." Please press " ekey ekey>fkey } { k-f6 true -> cr ." Please press " ekey ekey>fkey } { k-f7 true -> cr ." Please press " ekey ekey>fkey } { k-f8 true -> cr ." Please press " ekey ekey>fkey } { k-f9 true -> cr ." Please press " ekey ekey>fkey } { k-f10 true -> cr ." Please press " ekey ekey>fkey } { k-f11 true -> cr ." Please press " ekey ekey>fkey } { k-f12 true -> cr ." Please press " ekey ekey>fkey } { k-left k-shift-mask or true -> cr ." Please press " ekey ekey>fkey } { k-left k-ctrl-mask or true -> cr ." Please press " ekey ekey>fkey } { k-left k-alt-mask or true -> cr ." Please press " ekey ekey>fkey } { cr ." Please press " ekey ekey>fkey swap ekey>char -> false char a true }