/* This header file contains the core definitions of the CIVL-C language,
 * including standard types and function prototypes.
 */

#ifndef __CIVLC_CIVL__
#define __CIVLC_CIVL__

#include <civlc.cvh>

/* Completes the declaration of this type in civlc.cvh */
struct $int_iter {
  int size;
  int content[];
  int index; //initialized as 0
};

void $elaborate(int x) {
  for(int i=0; i<x; i++);
}

#endif