+
+// This goes at the bottom of the file so that we can change it
+// without disturbing line numbers of the functions in the backtrace.
+
+extern "Rust" {
+ fn miri_get_backtrace(flags: u64) -> Box<[*mut ()]>;
+ fn miri_resolve_frame(ptr: *mut (), flags: u64) -> MiriFrame;
+}
+
+#[derive(Debug)]
+#[repr(C)]
+struct MiriFrame {
+ name: Box<[u8]>,
+ filename: Box<[u8]>,
+ lineno: u32,
+ colno: u32,
+ fn_ptr: *mut (),
+}
+