let
xk_P = 0x050