[ocplib] Zindex is now 64-bit.