Thanks! The third step proves that the assembly code generated by the second-step compiler is valid even when compiling a big C project.