s. Is a PIC32 microcontroller truly an overkill for a trivial application compared to a PIC18 microcontroller?