sympy & antlr with pyodide