symbol resolution