produced by python/c9.py