./issue10253.go
