Debugging index-read