extern const print_extern: fn() i32;
extern const printf: fn(fmt: &c_char, ...) c_int;

pub const print1 = fn(fmt: str) i32 {
    return printf(fmt);
}