let
xk_1 = 0x031