Interface with the rustc compiler for the purpose of program verification - View it on GitHub