./issue5002.go
