run -O1 main.c.trans sql.c.trans logging.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 -reify -match -weave -printm -debug-only=no -o db