./bug234.go
