64-bit: batch 6