Trust no compiler. Verify from first principles. - View it on GitHub