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