add stdlog_vlog() API