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

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