let
xk_KP_0 = 0xFFB0