Symbol: xen_mc_batch