let xk_L2                        = 0xFFC9