;;; TOOL: run-gen-spec-js
;;; ARGS: --prefix=%(test_dir)s/gen-spec-empty-prefix.js
(module
  (func (export "foo")
    call 0))

(assert_exhaustion (invoke "foo") "so exhausted")
(;; STDOUT ;;;
// A deliberately empty file for testing.

// assert_exhaustion.txt:3
let $1 = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x01\x04\x01\x60\x00\x00\x03\x02\x01\x00\x07\x07\x01\x03\x66\x6f\x6f\x00\x00\x0a\x06\x01\x04\x00\x10\x00\x0b");

// assert_exhaustion.txt:7
assert_exhaustion(() => call($1, "foo", []));

;;; STDOUT ;;)