Code Editor : issue12133.go