resolving symbols by hash