add annotation for read_index_file.