These are just "the code compiled" tests, right?  Is there any correctness we can test here, or does that come elsewhere?