let
xk_x = 0x078