./bug372.go
