void putch(unsigned char byte){ TXSTA=0x26; SPEN=1; TXREG=byte; while(!TXIF)continue; TXIF=0; } void main(void) //Main program { printf("Hello World!\n"); x++; }