./issue8047.go
