./issue8613.go
