./issue12133.go
