let
xk_numerosign = 0x6b0