Hmm, I have to retract my type-checking argument. It only applies
to ports that don't null out or macro-ify the function, and they
were obviously check with or without __P(). But it still protects
the declaration against wacky syntax.