./issue8158.go
