How can you be sure that the machine code that was generated from your C source files actually match the behaviour encoded in them?

https://www.cs.cmu.edu/~rdriley/487/papers/Thompson_1984_Ref...