let xk_ifonlyif                                    = 0x8cd