./bug447.go
