#include "cl.cvl"
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <civlc.h>

int main(int argc, char** argv)
{
  void * array[3];
  
  int star = 1;
  
  for (int i = 0; i < 3; i++)
  {
    array[i] = (int*)malloc(sizeof(int));
    memcpy(array[i], &star, sizeof(int));
  
  }
  
  for (int i = 0; i < 3; i++)
  {
    free(array[i]);
  
  }
  
  return 0;
}