./bug254.go
