int a;
int atomic_read_a(void) critical { return a; }
critical a++;
critical { a++; }