let
xk_f = 0x066