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