./bug024.go
