run -O1 stack.c.trans main.c.trans cflow.ac.c.trans -L${LLVM_FRONT}/lib -L${ASPICERE2_INSTALL}/lib -L${SWI_LIB} -load=${ASPICERE2_INSTALL}/lib/weaver -load=${ASPICERE2_INSTALL}/lib/native -disable-opt -constmerge -globalsmodref-aa -basiccg -reify -match -weave -debug-only=no -printm -o db
