RUN: #does NOT work right now, as va_arg does NOT show up in the bitcode!
RUN: aspicere2-debug.sh ${ASPICERE2_SRC}/test/Feature/VarArgExecution2/sql.c ${ASPICERE2_SRC}/test/Feature/VarArgExecution2/main.c -o Output/db-debug -aspects ${ASPICERE2_BUILD}/test/Feature/VarArgExecution2/aspects.lst -modules ${ASPICERE2_BUILD}/test/Feature/VarArgExecution2/modules.lst
RUN: llvm-dis -f Output/db-debug.bc
RUN: ./Output/db-debug 2&> %t2
RUN: #diff %t2 ${ASPICERE2_SRC}/test/Feature/VarArgExecution2/db-debug.txt