to Python via cpp2python.txt