let xk_semicolon           = 0x03b