./bug225.go
