./issue8047b.go
