You'd also need to robustify the compiler itself to bit-wise errors, and its output.