1(module (func (export "empty")))
2
3(invoke "empty")
4
5(module binary
6  "\00asm\01\00\00\00"    ;; module header
7
8  "\00"             ;; custom section id 0
9  "\0e"             ;; section size
10  "\04name"         ;; this is the `name` custom section
11  "\01"             ;; function name subsection
12  "\07"             ;; function name subsection size
13  "\01"             ;; 1 function name mapping
14  "\ff\ff\ff\ff\0f" ;; index == u32::MAX
15  "\00"             ;; empty string name
16)
17
18(module binary
19  "\00asm\01\00\00\00"    ;; module header
20
21  "\00"             ;; custom section id 0
22  "\10"             ;; section size
23  "\04name"         ;; this is the `name` custom section
24  "\02"             ;; local name subsection
25  "\09"             ;; local name subsection size
26  "\01"             ;; 1 indirect name map
27  "\ff\ff\ff\ff\0f" ;; index == u32::MAX (function)
28  "\01"             ;; 1 name mapping
29  "\00"             ;; index == 0 (local)
30  "\00"             ;; empty string name
31)
32
33(module binary
34  "\00asm\01\00\00\00"    ;; module header
35
36  "\00"             ;; custom section id 0
37  "\10"             ;; section size
38  "\04name"         ;; this is the `name` custom section
39  "\02"             ;; local name subsection
40  "\09"             ;; local name subsection size
41  "\01"             ;; 1 indirect name map
42  "\00"             ;; index == 0 (function)
43  "\01"             ;; 1 name mapping
44  "\ff\ff\ff\ff\0f" ;; index == u32::MAX (local)
45  "\00"             ;; empty string name
46)
47
48;; empty module
49(module)
50
51;; empty module with memory
52(module (memory 1))
53