source: CIVL/examples/languageFeatures/atomicWaitBad.cvl@ 52dff6c

#include <civlc.h>
void foo(){
        void koo(){
                int o = 0;
                o++;
        }
        
        $proc p = $spawn koo();
        $wait p;
}

void main(){

        $atomic{
                foo();
        }
}