./issue12411.go
