exec_sql main MAX_LENGTH_HEADER MAX_LENGTH_POINT MAX_TRIPS NO_INSTANTS_BATCH NO_INSTANTS_KEEP

MAX_LENGTH_HEADER #define MAX_LENGTH_HEADER   1024