You will need to initialize the UART that you'll be using as your debug console and initialize the debug console. I'm not terribly familiar with PEx, is there a debug console bean you can bring into your project? This may handle all of that for you.
If you just want to print the value you read from the ADC, use:
printf("Current ADC reading: %i\n", ir_receiver);
I wouldn't worry about the datatype at first, if the only thing you ant to see is the data being sent over the UART to your console.