VOID is only valid as a return type. If VOID was used as an argument,
the C compiler would bail out, yet we should better check this early.

Looking through CTYPES, VOID seems to be the only type not valid for
arguments, thus the explicit check.