;;; TOOL: run-gen-spec-js
;;; ARGS: --prefix=%(test_dir)s/gen-spec-empty-prefix.js
(module definition (memory 65536))
(module definition $M (memory 16))
(module (memory 1))
(module instance $I1 $M)
(module instance $I2 $M)
(;; STDOUT ;;;
// A deliberately empty file for testing.

// is_definition.txt:3
definition("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x05\x01\x00\x80\x80\x04");

// is_definition.txt:4
let $M = definition("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x03\x01\x00\x10");

// is_definition.txt:5
let $1 = instance("\x00\x61\x73\x6d\x01\x00\x00\x00\x05\x03\x01\x00\x01");

// is_definition.txt:6
let $2 = instance_from($M);
let $I1 = $2;

// is_definition.txt:7
let $3 = instance_from($M);
let $I2 = $3;

;;; STDOUT ;;)