;; Demo: package load smoke
;; Package: strategies/nondeterministic
;; Requires: strategies/nondeterministic
;; Expected output: package loads without errors

(require 'strategies/nondeterministic)
#t
