source: CIVL/mods/dev.civl.com/examples/por/atomic1.cvl@ cb4d4f4

#include<civlc.cvh>

int x=0;

void f() {
  x=1;
}

void main() {
  $spawn f();
  $atomic {
    $assert((x==1)); // false
  }
}