./bug440_32.go
