let
xk_B = 0x042