let xk_includedin                                  = 0x8da