./bug023.go
