(import (scheme base))

(include "tmc-part4.scm")

(INIT 'x 0)

(define (task)
  (RMW + 'x 1))

(SPAWN task)
(SPAWN task)
(SPAWN task)
(SPAWN task)
;(SPAWN task)
;(SPAWN task)
;(SPAWN task)
;(SPAWN task)

(EXPLORE)