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

pub const print = fn(fmt: str, arg1: str) i32 {
    return printf(fmt, arg1);
}