Code Editor : check-overflow.js