<dir> <file name="wtime.c" info="1573595775"/> <file name="wtick.c" info="1573595775"/> </dir> <data> <fileinfo name="wtime.c"> MPID_STATE_MPI_WTIME MPI_Wtime </fileinfo> <fileinfo name="wtick.c"> MPID_STATE_MPI_WTICK MPI_Wtick </fileinfo> </data>