(witx (load "../../../../phases/snapshot/witx/wasi_snapshot_preview1.witx"))