// From #1174:

use std;
import str;
import libc::*;

#[nolink]
native mod libc {
    fn write(fd: core::libc::c_int, buf: *u8, nbyte: core::libc::size_t);
}

fn main() {
    let s = "hello world\n";
    let b = str::bytes(s);
    let l = str::len(s);
    let b8 = unsafe { vec::unsafe::to_ptr(b) };
    libc::write(0i32, b8, l);
    let a = bind libc::write(0i32, _, _);
    a(b8, l);
}

// From #1174:
// xfail-test bots are crashing on this on x86_64

use std;
import str;
import libc::*;

#[nolink]
native mod libc {
    fn write(fd: c_int, buf: *u8, nbyte: size_t);
}

fn main() {
    let s = "hello world\n";
    let b = str::bytes(s);
    let l = str::len(s);
    let b8 = unsafe { vec::unsafe::to_ptr(b) };
    libc::write(0i32, b8, l);
    let a = bind libc::write(0i32, _, _);
    a(b8, l);
}

--- 
+++ 
@@ -1,5 +1,4 @@
 // From #1174:
-// xfail-test bots are crashing on this on x86_64
 
 use std;
 import str;
@@ -7,7 +6,7 @@
 
 #[nolink]
 native mod libc {
-    fn write(fd: c_int, buf: *u8, nbyte: size_t);
+    fn write(fd: core::libc::c_int, buf: *u8, nbyte: core::libc::size_t);
 }
 
 fn main() {
Fix a missing un-xfailed case

Issue #1230
