INITIAL_INSTANTS main MAX_LENGTH_HEADER MAX_LENGTH_POINT MAX_LENGTH_STRING MAX_LENGTH_TIMESTAMP MAX_NO_RECORDS MAX_TRIPS NO_RECORDS_BATCH

main() int main ( void  )