main MAX_LEN_INST MAX_LEN_TEXT MAX_NUM_INSTS NUM_INSTS_BATCH

main() int main ( void  )