./issue9355.go
