./issue4585.go
