./issue25378.go
