INITIAL_INSTS main MAX_LEN_LINE MAX_LEN_POINT MAX_LEN_STRING MAX_LEN_TIMESTAMP MAX_NUM_RECS MAX_NUM_SHIPS NUM_RECS_BATCH

main() int main ( void  )