src/tools/miri/tests/panic/panic2.rs

fn main() {
    std::panic!("{}-panicking from libstd", 42);
}