let
xk_bracketleft = 0x05b