let xk_F31                        = 0xFFDC