void UART_Send(uchar data)
{
while(!(SCI0SR1&0x80));//keep waiting when not empty
SCI0DRL = data;
}
void main(void) {
Init_PLL();
UART_Init();
Init_Event_Count();
Init_PIT_Timer();
/* put your own code here */
EnableInterrupts;
for(;;) {} /* wait forever */
/* please make sure that you never leave this function */
}