OPT_DEFS += -DINFINITY_PROTOTYPE
include Makefile