let
xk_b = 0x062