./issue7863.go
