RUN: #Failed attempt at trying to remove int-return type of idiomatic procs!
RUN: #aspicere2.sh ${ASPICERE2_SRC}/test/Feature/SPLAT07-tr/main.c -o Output/db -aspects ${ASPICERE2_BUILD}/test/Feature/SPLAT07-tr/aspects.lst -modules ${ASPICERE2_BUILD}/test/Feature/SPLAT07-tr/modules.lst
RUN: #llvm-dis -f Output/db.bc
RUN: #./Output/db 2&> %t2
RUN: #gcc ${ASPICERE2_SRC}/test/Feature/SPLAT07-tr/original.c -o Output/original
RUN: #./Output/original 2&> %t3
RUN: #gcc ${ASPICERE2_SRC}/test/Feature/SPLAT07-tr/canonical.c -o Output/canonical
RUN: #./Output/canonical 2&> %t4
RUN: #diff %t3 %t4 && diff %t2 %t3 #diff %t2 ${ASPICERE2_SRC}/test/Feature/SPLAT07-tr/output.txt #&& diff %t2 %t3 && diff %t2 %t4