./bug442.go
