extern "C" { fn printf(format: *const i8, ...) -> i32; }