Code Editor : bug13343.go