let xk_implies                                     = 0x8ce