Try working with f2c output

This may or may not be worth it. The f2c output is pretty hard
to dig because of the way the comments from include files are
handled, but might as well give it a shot.