let xk_leftradical                                 = 0x8a1