#include <Arduino.h>

extern "C" {
    void printf1(const char* format, ...);
    double second(void);
}
char str_buff01[1024];
void printf1(const char* format, ...)
{

    va_list ap;
    va_start(ap, format);

//    vsprintf(str_buff01, format, ap);
    vsnprintf(str_buff01, 1024, format, ap);

    va_end(ap);

    Serial.print(str_buff01);

}

double second(void)
{
    return (millis() / 1000.0);
}