1 extern "Rust" { miri_get_backtrace(flags: u64) -> Box<[*mut ()]>2 fn miri_get_backtrace(flags: u64) -> Box<[*mut ()]>; miri_resolve_frame(ptr: *mut (), flags: u64)3 fn miri_resolve_frame(ptr: *mut (), flags: u64); 4 } 5 main()6fn main() { 7 let frames = unsafe { miri_get_backtrace(0) }; 8 for frame in frames.into_iter() { 9 unsafe { 10 miri_resolve_frame(*frame, 0); //~ ERROR: Undefined Behavior: bad declaration of miri_resolve_frame - should return a struct with 5 fields 11 } 12 } 13 } 14