(case
  (name "atomic exchange spinlock")
  (names lock)
  (bound 14)
  (threads
    ((exchange 0 0 1)
     (branch 0 1 0)
     (enter)
     (leave)
     (store 0 0))
    ((exchange 0 0 1)
     (branch 0 1 0)
     (enter)
     (leave)
     (store 0 0)))
  (candidates )
  (goal overlap))