(case
  (name "newest buffered store wins")
  (names x)
  (bound 7)
  (threads
    ((store 0 1)
     (store 0 2)
     (load 0 0))
    ((move 0 0)))
  (candidates )
  (goal (outcome (registers (0 0 1)) (memory ) (drained false))))