I found the files I was looking for in :
Now I have another question
Is it possible, in my programs, to use variables I see in these source files?
For example I am thinking about "timer0_overflow_count". At the present time, when I try to use it, Arduino tells me that it does not exist.