We are looking at the same thing.

I picked _INTRC_IO because I think that should make the pins I/Os.

So what was Bruce talking about in Bob's post? The *.inc s are pretty much the same for the 88 and 87.