text: int a, b, c = 1;
  
  void setA(void)
  {
  	a = 1;
  }
  
  void setB(void)
  {
  	b = 1;
  }
  
  int check(void)
  {
  	test_assert(a == 1);
  	return a == 1;
  }
  
  int main(void)
  {
  	while(c) {
  		if (b == 0)
  			goto L;
  
  		if (check()) {
  			c = 0;
  L:
  			setA();
  			setB();
  		}
  	}
  
  	return 0;
  }
  