let xk_therefore                                   = 0x8c0