./bug434.go
