exec_sql main MAX_LENGTH_HEADER MAX_LENGTH_POINT MAX_TRIPS NO_INSTANTS_BATCH NO_INSTANTS_KEEP

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