64-bit: batch 7