./issue5820.go
