./issue8004.go
