let
xk_dstroke = 0x1f0