int printf_handler(const char *format, va_list args) { ... sv_vsetpvf(printf_str, format, &args); ...