#CFLAGS+=-Wunreachable-code
#CFLAGS+=-O0
#CFLAGS+=-DDO_TIMING_CHECKS
#CFLAGS+=-DUSE_ABSTRACT_NAMESPACE