1
 2
 3
 4
 5
 6
 7
 8
 9
10
11

(case
  (name "FIFO publication order")
  (names x y)
  (bound 8)
  (threads
    ((store 0 1)
     (store 1 1))
    ((load 1 0)
     (load 0 1)))
  (candidates )
  (goal (outcome (registers (1 0 1) (1 1 0)) (memory ) (drained false))))