>>105871662
>do not map all that well to C abstract machine.
You're not totally wrong, but it's worth noting (picrel)
>Since the most widely used high-level programming language for PIC microcontrollers is C, this document will focus on C programming. To ensure compatibility with most PIC C compilers, the code examples in this document are written using ANSI C coding standard.
It's really the only language used, unless you consider assembly to be a language. I think C is the only language even available for these chips.

So although you're "right", I don't consider you to really be all that right.