* Mark them as `unsafe` * Mark the tests as `unsafe` * Leverage the new features of the `#[assert_instr]` macro