let
xk_malesymbol = 0xaf7