go/test/fixedbugs/bug250.go