This relies on the fact that all anchor scripts have already called defineSymbol.
Why is the order of execution guaranteed here?