./bug470.go
