OMG need to synchronize Symbols.recursionTable