# Consumer logic
# Decrements buffer count and increments consumed count

tension consume priority 6
  match me in proc.CPU0
  match buf in BUFFER
    where buf.count > 0
  emit set buf count buf.count - 1
  emit set me consumed me.consumed + 1
