let xk_approximate                                 = 0x8c8