let xk_ff                                          = 0x9e3