source: CIVL/examples/por/atomic0.cvl

#include<civlc.cvh>

int x=0;

void f() {
  x=1;
}

void main() {
  $proc fp = $spawn f();
  
  $atomic {
    $assert((x==0)); // false
  }
  $wait(fp);
}