The index function has variants named _index32 and _index64 for
    use with 32-bit and 64-bit pointer sizes, respectively.