./issue5244.go
