Yes, this is auto-generated code.