1interface manyarg {
2  many-args: func(
3    a1: u64,
4    a2: u64,
5    a3: u64,
6    a4: u64,
7    a5: u64,
8    a6: u64,
9    a7: u64,
10    a8: u64,
11    a9: u64,
12    a10: u64,
13    a11: u64,
14    a12: u64,
15    a13: u64,
16    a14: u64,
17    a15: u64,
18    a16: u64,
19  )
20
21  record big-struct {
22    a1: string,
23    a2: string,
24    a3: string,
25    a4: string,
26    a5: string,
27    a6: string,
28    a7: string,
29    a8: string,
30    a9: string,
31    a10: string,
32    a11: string,
33    a12: string,
34    a13: string,
35    a14: string,
36    a15: string,
37    a16: string,
38    a17: string,
39    a18: string,
40    a19: string,
41    a20: string,
42  }
43
44  big-argument: func(x: big-struct)
45}
46
47world the-world {
48  import imports: manyarg
49  export exports: manyarg
50  default export manyarg
51}
52