0 0.142253 0.029376 0.067146 5376 varargs C++-Souffle _bin/cxx-opt/mycpp/examples/varargs.mycpp-souffle _test/tasks/benchmark/varargs.mycpp-souffle.opt.task.txt