Need Pascal to C translator

[VLD/VMB]

"Lint" does process several files at once and check inter-file
consistency.  "lint fooa.c foob.c fooc.c", for example.  Also,
you can make a "lint library" that contains interface declarations
(some versions of "lint" have more extensive support for this,
but all will support the simple approach using a trimmed-down
source file).  Then you can check individual modules against the
interface file without having to feed "lint" the entire batch of
C sources.  "lint fooa.c interface_specs.c", for example.