Fix this test on 64-bit systems which seem to use i64 for gep indices sometimes