#include <civlc.h>

// void* $malloc($heap *h, int size);

void main() {
  $heap h;
  double *p = (double *) $malloc(&h, 5*sizeof(double));
  
  $free(p);
}