file GENERATED by distutils, do NOT edit