./issue9862.go
