Changed int to uint_ptr for pointers stored in indextables