let
xk_numbersign = 0x023