Do not edit any files in this directory!  All files are auto-generated.