./issue9738.go
