let
xk_K = 0x04b