let xk_infinity                                    = 0x8c2