let
xk_p = 0x070