main MAX_LEN_GEOM MAX_LEN_HEADER NUM_WAYS_BATCH

main() int main ( void  )