Code Editor : check_overflow.js