let xk_endash                                      = 0xaaa