ctrl-letters are used for other things