[file-tag: code-generated-file-dad7df01-259c-4a02-8f36-46fcadb927e3]