Checking compilation correctness.