./bug178.go
