./bug440_64.go
