Title: PIC32 Family Reference Manual, Sect. 14 Timers (update from F)