lint question - how to "import" VARARGS

[David Goodenough]

Consider a pair of source files:

main()
 {
    frobozz(2, a, b);
    foobar();
 }

/* VARARGS1 */

frobozz(n, args)
 {
 }

and

foobar()
 {
    frobozz(1, c);
    frobozz(3, x, y, z);
 }

Now, when linting these two together, everything is just fine: lint sees
the VARARGS attached to frobozz, and doesn't complain about the useages
in foo. But if I lint the second source on it's own, how do I tell lint
that frobozz is external, and VARARGS ??

/* VARARGS */
extern frobozz();

just above foobar doesn't work.

I'd like to keep this to constructive suggestions, in case you hadn't
figured it, our cc is:

1. old

2. unable to deal with prototypes

3. extremely unlikely to be replaced.

Any suggestions people?

			Thanks in advance,
-- 
	dg at lakart.UUCP - David Goodenough		+---+
						IHS	| +-+-+
	....... !harvard!xait!lakart!dg			+-+-+ |
AKA:	dg%lakart.uucp at xait.xerox.com			  +---+