./issue4518.go
