let
xk_KP_1 = 0xFFB1