The correct form depends of compiler that you think use ... I prefer CCS Compiler, but it's depends of how money that you think spend, because it's not free. All C compiler for PIC isn't free, the free is just for assembler.
If you choose use CCS I can sendo some examples for you ...