./issue4085b.go
