(hopefully) unpythonize the examples