Cast uint32_t to int if an index is used.