#include <Arduino.h>

extern "C" {
    void printf1(const char* format, ...);
    float 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);

}

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