extern "Rust" {
fn miri_resolve_frame(ptr: *mut (), flags: u64);
}
fn main() {
unsafe {
miri_resolve_frame(0 as *mut _, 0); //~ ERROR 0x0 is not a valid pointer