./bug177.go
