let
xk_kra = 0x3a2