./issue12577.go
