COMPACT_COMP_SEQS DEBUG EXPAND_SEQ INITIAL_INSTS_SEQ INITIAL_SEQUENCES_SEQSET main MAX_INSTS_SEQ MAX_LEN_TEXT MAX_NO_INSTS NUM_INSTS_BATCH

MAX_NO_INSTS #define MAX_NO_INSTS   50000000