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

INITIAL_INSTS_SEQ #define INITIAL_INSTS_SEQ   64