get_times        1309 src/filemanager/file.c                     get_times (&src_stat, &times);
get_times        2355 src/filemanager/file.c     get_times (&src_stat, &times);
get_times        3100 src/filemanager/file.c         get_times (&src_stat, &times);