CFLAGS += -DNDEBUG -O1