To execute run the following on the root directory of the repository: cargo run --example isolation --features isolation.
cargo run --example isolation --features isolation