let xk_topt                                        = 0x9f7