Code Editor : to-batch-syntax.js