exec_sql main MAX_LEN_HEADER MAX_LEN_POINT MAX_TRIPS NUM_INSTS_KEEP NUM_INSTS_KEEP

MAX_LEN_HEADER #define MAX_LEN_HEADER   1024