main MAX_LEN_HEADER MAX_LEN_POINT MAX_NUM_TRIPS NUM_INSTS_BATCH NUM_INSTS_KEEP

main() int main ( int  argc, char **  argv  )