Symbol: K_XRESOLVE