./issue5373.go
