(import (scheme base))

(include "tmc-part2.scm")

(INIT 'x 0)

(define (task)
  (ATOMIC
    (let ((v (READ 'x)))
      (WRITE 'x (+ 1 v)))))

(SPAWN task)
(SPAWN task)

(EXPLORE
  (lambda () (= (READ 'x) 2)))