let
xk_F18 = 0xFFCF