let
xk_braceleft = 0x07b