let
xk_F32 = 0xFFDD