Bueno hay un forma que es infalible para ver cualquier variable, y es conectar un LCD al pic y mandar el valor de la variable al LCD para visualizarlo, como por ejemplo:
printf(lcd_putc,"Variable: %ul",variable);
esto, lo puedes poner en el punto del programa que quieras.