let
xk_colon = 0x03a