AtomicInt -= ZZ -- atomic fetch and subtract

• Operator: -=

• Usage:

  x -= y

• Inputs:
  • x, an atomic integer,
  • y, an integer,
• Outputs:
  • an integer,

i1 : x = new AtomicInt from 12

o1 = 12

o1 : AtomicInt

i2 : x -= 10

o2 = 12

i3 : x

o3 = 2

o3 : AtomicInt