64-bit: batch 5