./issue8036.go
