./issue8011.go
