Symbol: PIC32_RTCHOUR