./issue5841.go
