Hacker News Reader

I think this is answered by the "Misc Features & Quirks" bullet point:

There is no type checking what-so-ever.

Sure, but the compiler at least needs to know it's size, right?

Given the type discipline, I assume it would type to the equivalent of void **