source: CIVL/mods/dev.civl.com/examples/sideEffects/malloc.cvl@ 8553be8

#include<civlc.cvh>
#include<stdlib.h>
#include<assert.h>

void main() {
  double *a;
  int m = 5;

  if ( (a=(double *)malloc(m*sizeof(double))) == NULL )
    assert(0);
}