let
xk_leftanglebracket = 0xabc