let
xk_rightanglebracket = 0xabe