Auto-generated.