let xk_cr                                          = 0x9e4