./bug258.go
