let xk_function                                    = 0x8f6