./issue7690.go
