./bug242.go
