let xk_R11                        = 0xFFDC