./bug452.go
