SRC +=    src/aig/mem/mem.c