64-bit: batch 8
64-bit: batch 9 (maybe not entirely kosher
64-bit: batch 10