let
xk_0 = 0x030