Py2C — a Python to C++ converter