./bug257.go
