go/test/fixedbugs/bug472.go