I do not have a CCS compiler but the code looks OK. The only things I would question are:
1. Do you have to set the TRIS bits for the RX and TX pins or does the "#use RS232" directive do that for you?
2. Does putc() automatically use the USART or do you need to tell it where the character stream is sent?
I assume the compiler adds code to check if the TX register is free to be loaded. If it doesn't you need to check it is empty before using putc() to put new data into it. As the program is not in a loop, I'm also assuming you are not looking for a continuous output, at the moment it will execute with no output unless you 'trigger' it with an input.
Brian.