Using "index" instead of "size_t" in "Dump.cpp" to avoid warning