./issue5856.go
