./bug378.go
