./issue7740.go
