./bug409.go
