#CFLAGS += -ffloat-store
CFLAGS += -DALBE
+#CFLAGS += -DTERSOFF_ORIG
+
#CFLAGS += -DSTATIC_LISTS
-#CFLAGS += -DDEBUG
-CFLAGS += -DDSTART=400 -DDEND=600
+
+CFLAGS += -DDEBUG
+CFLAGS += -DDSTART=19 -DDEND=40 -DDATOM=5832
#CFLAGS += -DVDEBUG
-#CFLAGS += -DTERSOFF_ORIG
LDFLAGS = -lm
#LDFLAGS += -lefence