fn main() {
    let val = "Value".to_string();
    panic!("Miri panic with value: {}", val);
}