Add to auto.py some auto-generation stuff.