extern "C" {

int printf(const char *format, ...);

int sprintf(char *out, const char *format, ...);

}