Combined 2 definitions of index_tuple and put it in its own header