[GPS_Standard] PIC Code question

[k7hbg at dslextreme.com]

Hi Everybody;

 I am trying to understand what is going on in the processor in reference
to the code it's running. I have a small knowledge of processors and was a
bit stumped by the program flow diagram.
 It looks like the VCXO output of 10 MHz is applied to a 16 bit counter in
the processor and the count is allowed to accumulate for 16 seconds (GPS
1PPs) time. As I remember, a 16 bit counter can only hold a Max. count of
FFFFHex or 65,535Dec. what happens to the rest of the bits above 65,535?

 Bob, slowly going crazy(er), K7hbg