let xk_malesymbol                                  = 0xaf7