./issue8475.go
