// Auto-generated, do not edit