0	0.066084	0.023259	0.042643	5120	varargs	C++-Souffle	_bin/cxx-opt/mycpp/examples/varargs.mycpp-souffle	_test/tasks/benchmark/varargs.mycpp-souffle.opt.task.txt