Comment by z-factor

Funny thing is that code is then compiled with a compiler was not formally verified, so it's still a 'fingers crossed' situation.