let
xk_semicolon = 0x03b