Interacting with unverified code #

We typically only verify a portion of a Rust code base. This chapter discusses how to call unverified code from verified code, as well as some caveats and strategies for safely allowing unverified code to call verified code.