./bug070.go
