varid0
ftp://ftp.de.debian.org/debian/pool/main/c/cryptominisat/cryptominisat_5.11.21+dfsg1.orig.tar.xz
head cryptominisat-5.11.21/src/argparse.hpp:548:0: debug: Function::addArguments found argument 'map' with varid 0. [varid0]
ftp://ftp.de.debian.org/debian/pool/main/c/cxxopts/cxxopts_3.3.1.orig.tar.gz
head jarro2783-cxxopts-44380e5/test/catch.hpp:4677:0: debug: Function::addArguments found argument 'end' with varid 0. [varid0]
head jarro2783-cxxopts-44380e5/test/catch.hpp:4688:0: debug: Function::addArguments found argument 'end' with varid 0. [varid0]
head jarro2783-cxxopts-44380e5/test/catch.hpp:4703:0: debug: Function::addArguments found argument 'end' with varid 0. [varid0]
head jarro2783-cxxopts-44380e5/test/catch.hpp:4709:0: debug: Function::addArguments found argument 'end' with varid 0. [varid0]