Code Editor : issue12413.go