let
xk_C = 0x043