#[lazylink::lazylink]
#[link(name = "c")]
extern "C" {
    fn puts(v: *const i8);
}

fn main() {}