./bug237.go
