1 #![feature(lang_items, start)]
4 // Plumbing to let us use `writeln!` to host stdout:
7 fn miri_write_to_stdout(bytes: &[u8]);
15 fn write_str(&mut self, s: &str) -> core::fmt::Result {
17 miri_write_to_stdout(s.as_bytes());
26 fn start(_: isize, _: *const *const u8) -> isize {
27 writeln!(Host, "hello, world!").unwrap();
32 fn panic_handler(_: &core::panic::PanicInfo) -> ! {
36 #[lang = "eh_personality"]
37 fn eh_personality() {}