SC_MAX_HISTORY_SIZE
#if !defined(SC_MAX_HISTORY_SIZE)
#if (SC_HISTORY_SIZE * MAXCONS * MAXSC) > SC_MAX_HISTORY_SIZE
= SC_MAX_HISTORY_SIZE - SC_HISTORY_SIZE*MAXCONS;