./issue8620.go
