./issue7550.go
