Pass explicit sizes to main function when interpreting or generating C.

This is a bit hacky right now, but sufficient for handling the test
suite.