// Issue #901
#[nolink]
extern mod libc {
    fn printf(x: ());
}
fn main() { }