Code Editor : batched_discard