source: CIVL/mods/dev.civl.com/examples/languageFeatures/null.cvl@ cb4d4f4

/* Commandline execution:
 *              civl verify null.cvl
 */
#include<string.h>
#include<assert.h>

void main() {
  int *p = 0;
  
  assert(p == NULL);
}