[fixes #43335813] changed type of myRealSymbolTable