atomic {
  x = o.a ;
  o.y = x + 1 ;
}