Create #p3712.py