#[lazylink::lazylink("c")] mod libc { extern "C" { fn puts(v: *const i8); } } fn main() {}