#!/usr/bin/env bash

cargo +nightly miri run --example demo