more symbol resolution