./issue10135.go
