int main() {
	struct pair<int> *p;
	p -> x = 2
	+ 3 - 3;
	/**
	  @Begin
	  @Potential_commit_point_define:
	  __ATOMIC_RET__ == true
	  @Label:
	  	Enqueue_Success_Point
	  @End
	 */
	return 0;
}