Autogenerated file.