extern "C" void printf (const char *, ...);
int main()