./issue8039.go
