;; Ensure that all current witx definitions in this repository load, parse,
;; roundtrip, and are documentable.

(witx (load "../../../../phases/ephemeral/witx/wasi_ephemeral_args.witx"))
(witx (load "../../../../phases/ephemeral/witx/wasi_ephemeral_clock.witx"))
(witx (load "../../../../phases/ephemeral/witx/wasi_ephemeral_environ.witx"))
(witx (load "../../../../phases/ephemeral/witx/wasi_ephemeral_fd.witx"))
(witx (load "../../../../phases/ephemeral/witx/wasi_ephemeral_path.witx"))
(witx (load "../../../../phases/ephemeral/witx/wasi_ephemeral_poll.witx"))
(witx (load "../../../../phases/ephemeral/witx/wasi_ephemeral_proc.witx"))
(witx (load "../../../../phases/ephemeral/witx/wasi_ephemeral_random.witx"))
(witx (load "../../../../phases/ephemeral/witx/wasi_ephemeral_sched.witx"))
(witx (load "../../../../phases/ephemeral/witx/wasi_ephemeral_sock.witx"))