let
xk_o = 0x06f