./bug243.go
