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