let
xk_Thai_dodek = 0xdb4