Btw, also simply calling ``sym.toString`` may be problematic, as far as I remember.