grammer/spec.txt

   1 int main() {
   2         struct pair<int> *p;
   3         p -> x = 2
   4         + 3 - 3;
   5         /**
   6           @Begin
   7           @Potential_commit_point_define:
   8           __ATOMIC_RET__ == true
   9           @Label:
  10                 Enqueue_Success_Point
  11           @End
  12          */
  13         return 0;
  14 }