Autogenerated files.