./issue7867.go
