64-bit: batch 4