let xk_F32                        = 0xFFDD