First experiment in porting Arduino's IR Remote code shows that the PIC that I choose doesn't have enough RAM to decode the IR signals. I was going to switch to another chip, but it turns out that hashing the IR code is enough, I don't really need to know the exact decoded value of a button.