let
xk_trademark = 0xac9