./bug047.go
