let
xk_c = 0x063