exec_batch();