./issue7995.go
