EXPAND main MAX_INSTANTS MAX_LENGTH_INST MAX_LENGTH_TEXT NO_INSTANTS_BATCH

main() int main ( void  )