./bug473.go
