./bug454.go
