64-bit: batch 3