# Autogenerated by regenerate-files, DO NOT EDIT.