let
xk_N = 0x04e