Symbol: do_batch