10.6.2.1740.02
K-CTRL-MASK
 
FACILITY EXT
 
( -- u )

Mask for the Ctrl key, that can be ORed with the key value to produce a value that the sequence EKEY EKEY>FKEY may produce when the user presses the corresponding key combination.