let xk_rightanglebracket                           = 0xabe