1unsigned char prog_wasm[] = {
2  0x00, 0x61, 0x73, 0x6d, 0x01, 0x00, 0x00, 0x00, 0x01, 0x11, 0x03, 0x60,
3  0x02, 0x7f, 0x7f, 0x01, 0x7f, 0x60, 0x01, 0x7f, 0x01, 0x7f, 0x60, 0x01,
4  0x7f, 0x01, 0x7e, 0x03, 0x08, 0x07, 0x01, 0x02, 0x01, 0x00, 0x00, 0x00,
5  0x00, 0x04, 0x05, 0x01, 0x70, 0x01, 0x05, 0x05, 0x05, 0x03, 0x01, 0x00,
6  0x02, 0x06, 0x08, 0x01, 0x7f, 0x01, 0x41, 0xd0, 0xa8, 0x04, 0x0b, 0x07,
7  0x19, 0x03, 0x06, 0x6d, 0x65, 0x6d, 0x6f, 0x72, 0x79, 0x02, 0x00, 0x03,
8  0x72, 0x75, 0x6e, 0x00, 0x00, 0x06, 0x66, 0x70, 0x5f, 0x72, 0x75, 0x6e,
9  0x00, 0x02, 0x09, 0x0a, 0x01, 0x00, 0x41, 0x01, 0x0b, 0x04, 0x03, 0x04,
10  0x05, 0x06, 0x0a, 0xb3, 0x07, 0x07, 0xd2, 0x04, 0x05, 0x01, 0x7f, 0x01,
11  0x7e, 0x02, 0x7f, 0x01, 0x7e, 0x04, 0x7f, 0x20, 0x00, 0x41, 0xb1, 0xf3,
12  0xdd, 0xf1, 0x79, 0x6c, 0x21, 0x01, 0x20, 0x00, 0xad, 0x42, 0x95, 0xf8,
13  0xa9, 0xfa, 0x97, 0xb7, 0xde, 0x9b, 0x9e, 0x7f, 0x85, 0x21, 0x02, 0x41,
14  0x00, 0x21, 0x03, 0x03, 0x40, 0x02, 0x40, 0x02, 0x40, 0x02, 0x40, 0x02,
15  0x40, 0x02, 0x40, 0x02, 0x40, 0x02, 0x40, 0x02, 0x40, 0x02, 0x40, 0x02,
16  0x40, 0x20, 0x01, 0x20, 0x03, 0x41, 0x0f, 0x71, 0x41, 0x02, 0x74, 0x28,
17  0x02, 0x90, 0x88, 0x80, 0x80, 0x00, 0x20, 0x01, 0x41, 0x05, 0x76, 0x41,
18  0x0c, 0x71, 0x28, 0x02, 0x80, 0x88, 0x80, 0x80, 0x00, 0x11, 0x80, 0x80,
19  0x80, 0x80, 0x00, 0x80, 0x80, 0x80, 0x80, 0x00, 0x22, 0x01, 0x41, 0x09,
20  0x70, 0x0e, 0x08, 0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07, 0x08,
21  0x0b, 0x20, 0x01, 0x41, 0x03, 0x6e, 0x21, 0x04, 0x0c, 0x08, 0x0b, 0x20,
22  0x01, 0x41, 0x07, 0x6c, 0x21, 0x04, 0x0c, 0x07, 0x0b, 0x20, 0x01, 0x41,
23  0xef, 0xfd, 0xb6, 0xf5, 0x7d, 0x73, 0x21, 0x04, 0x0c, 0x06, 0x0b, 0x20,
24  0x01, 0x41, 0x03, 0x76, 0x21, 0x04, 0x0c, 0x05, 0x0b, 0x20, 0x01, 0x41,
25  0x05, 0x75, 0x21, 0x04, 0x0c, 0x04, 0x0b, 0x20, 0x01, 0x41, 0xe8, 0x07,
26  0x70, 0x21, 0x04, 0x0c, 0x03, 0x0b, 0x20, 0x01, 0x41, 0x79, 0x6d, 0x21,
27  0x04, 0x0c, 0x02, 0x0b, 0x20, 0x01, 0x41, 0x0d, 0x6f, 0x21, 0x04, 0x0c,
28  0x01, 0x0b, 0x20, 0x01, 0x41, 0x01, 0x6a, 0x21, 0x04, 0x0b, 0x20, 0x04,
29  0x20, 0x01, 0x73, 0x20, 0x02, 0x42, 0xad, 0xfe, 0xd5, 0xe4, 0xd4, 0x85,
30  0xfd, 0xa8, 0xd8, 0x00, 0x7e, 0x42, 0xcf, 0x82, 0x9e, 0xbb, 0xef, 0xef,
31  0xde, 0x82, 0x14, 0x7c, 0x22, 0x05, 0x42, 0x1d, 0x88, 0x20, 0x05, 0x85,
32  0x22, 0x02, 0x42, 0x20, 0x88, 0x20, 0x02, 0x85, 0xa7, 0x6a, 0x22, 0x01,
33  0x41, 0x03, 0x77, 0x20, 0x01, 0x20, 0x05, 0x42, 0x00, 0x53, 0x1b, 0x21,
34  0x01, 0x20, 0x03, 0x41, 0x01, 0x6a, 0x22, 0x03, 0x41, 0xd0, 0x0f, 0x47,
35  0x0d, 0x00, 0x0b, 0x02, 0x40, 0x41, 0x80, 0x20, 0x45, 0x0d, 0x00, 0x41,
36  0xd0, 0x88, 0x80, 0x80, 0x00, 0x20, 0x01, 0x41, 0x80, 0x20, 0xfc, 0x0b,
37  0x00, 0x0b, 0x20, 0x01, 0x41, 0x01, 0x74, 0x21, 0x06, 0x20, 0x01, 0x41,
38  0x02, 0x74, 0x21, 0x07, 0x20, 0x01, 0x41, 0x03, 0x6c, 0x21, 0x08, 0x41,
39  0x00, 0x21, 0x09, 0x41, 0x00, 0x21, 0x03, 0x03, 0x40, 0x20, 0x01, 0x20,
40  0x09, 0x6a, 0x22, 0x04, 0x41, 0xff, 0x1f, 0x71, 0x20, 0x03, 0x3a, 0x00,
41  0xd0, 0x88, 0x80, 0x80, 0x00, 0x20, 0x04, 0x41, 0x1f, 0x6a, 0x41, 0xff,
42  0x1f, 0x71, 0x20, 0x01, 0x20, 0x03, 0x6a, 0x3a, 0x00, 0xd0, 0x88, 0x80,
43  0x80, 0x00, 0x20, 0x04, 0x41, 0x3e, 0x6a, 0x41, 0xff, 0x1f, 0x71, 0x20,
44  0x06, 0x20, 0x03, 0x6a, 0x3a, 0x00, 0xd0, 0x88, 0x80, 0x80, 0x00, 0x20,
45  0x04, 0x41, 0xdd, 0x00, 0x6a, 0x41, 0xff, 0x1f, 0x71, 0x20, 0x08, 0x20,
46  0x03, 0x6a, 0x3a, 0x00, 0xd0, 0x88, 0x80, 0x80, 0x00, 0x20, 0x03, 0x20,
47  0x07, 0x6a, 0x21, 0x03, 0x20, 0x09, 0x41, 0xfc, 0x00, 0x6a, 0x22, 0x09,
48  0x41, 0xc0, 0x0f, 0x47, 0x0d, 0x00, 0x0b, 0x02, 0x40, 0x41, 0xdc, 0x0b,
49  0x45, 0x0d, 0x00, 0x41, 0xb4, 0x89, 0x80, 0x80, 0x00, 0x41, 0xa0, 0x98,
50  0x80, 0x80, 0x00, 0x41, 0xdc, 0x0b, 0xfc, 0x0a, 0x00, 0x00, 0x0b, 0x41,
51  0x00, 0x21, 0x04, 0x41, 0x80, 0x60, 0x21, 0x03, 0x03, 0x40, 0x20, 0x04,
52  0x41, 0x1f, 0x6c, 0x20, 0x03, 0x41, 0xd0, 0xa8, 0x80, 0x80, 0x00, 0x6a,
53  0x2d, 0x00, 0x00, 0x6a, 0x41, 0x1f, 0x6c, 0x20, 0x03, 0x41, 0xd1, 0xa8,
54  0x80, 0x80, 0x00, 0x6a, 0x2d, 0x00, 0x00, 0x6a, 0x41, 0x1f, 0x6c, 0x20,
55  0x03, 0x41, 0xd2, 0xa8, 0x80, 0x80, 0x00, 0x6a, 0x2d, 0x00, 0x00, 0x6a,
56  0x41, 0x1f, 0x6c, 0x20, 0x03, 0x41, 0xd3, 0xa8, 0x80, 0x80, 0x00, 0x6a,
57  0x2d, 0x00, 0x00, 0x6a, 0x21, 0x04, 0x20, 0x03, 0x41, 0x04, 0x6a, 0x22,
58  0x03, 0x0d, 0x00, 0x0b, 0x20, 0x01, 0x20, 0x00, 0x41, 0x05, 0x70, 0x41,
59  0x14, 0x6a, 0x10, 0x81, 0x80, 0x80, 0x80, 0x00, 0xa7, 0x73, 0x20, 0x04,
60  0x73, 0x0b, 0x3b, 0x01, 0x01, 0x7e, 0x42, 0x00, 0x21, 0x01, 0x02, 0x40,
61  0x20, 0x00, 0x41, 0x02, 0x49, 0x0d, 0x00, 0x42, 0x00, 0x21, 0x01, 0x03,
62  0x40, 0x20, 0x00, 0x41, 0x7f, 0x6a, 0x10, 0x81, 0x80, 0x80, 0x80, 0x00,
63  0x20, 0x01, 0x7c, 0x21, 0x01, 0x20, 0x00, 0x41, 0x7e, 0x6a, 0x22, 0x00,
64  0x41, 0x02, 0x4f, 0x0d, 0x00, 0x0b, 0x0b, 0x20, 0x01, 0x20, 0x00, 0xad,
65  0x7c, 0x0b, 0xfa, 0x01, 0x04, 0x01, 0x7c, 0x01, 0x7d, 0x01, 0x7f, 0x01,
66  0x7c, 0x20, 0x00, 0xb8, 0x44, 0xfc, 0xa9, 0xf1, 0xd2, 0x4d, 0x62, 0x50,
67  0x3f, 0xa2, 0x44, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x0a, 0xc0, 0xa0,
68  0x21, 0x01, 0x20, 0x00, 0x41, 0xe8, 0x07, 0x70, 0xb3, 0x43, 0x00, 0x00,
69  0xe0, 0x40, 0x95, 0x43, 0x00, 0x00, 0x00, 0x3f, 0x92, 0x21, 0x02, 0x41,
70  0x00, 0x21, 0x00, 0x41, 0xf4, 0x03, 0x21, 0x03, 0x03, 0x40, 0x20, 0x00,
71  0x41, 0x21, 0x6c, 0x20, 0x02, 0x43, 0x00, 0x20, 0x80, 0x3f, 0x94, 0x43,
72  0xfa, 0x7e, 0xaa, 0x3e, 0x20, 0x02, 0x43, 0x00, 0x00, 0x80, 0x3f, 0x92,
73  0x95, 0x92, 0x22, 0x02, 0xbc, 0x6a, 0x20, 0x02, 0x43, 0x00, 0x00, 0xc8,
74  0x42, 0x94, 0xfc, 0x00, 0x6a, 0x20, 0x01, 0x44, 0x00, 0x00, 0x00, 0x00,
75  0x00, 0x00, 0xe0, 0x3f, 0xa2, 0x20, 0x01, 0x20, 0x01, 0xa2, 0x44, 0x00,
76  0x00, 0x00, 0x00, 0x00, 0x00, 0xf0, 0x3f, 0xa0, 0x9f, 0x44, 0x00, 0x00,
77  0x00, 0x00, 0x00, 0x00, 0xd0, 0x3f, 0xa2, 0xa0, 0x20, 0x02, 0xbb, 0x22,
78  0x04, 0x44, 0xfc, 0xa9, 0xf1, 0xd2, 0x4d, 0x62, 0x50, 0xbf, 0xa2, 0xa0,
79  0x22, 0x01, 0xb6, 0xbc, 0x6a, 0x41, 0x01, 0x41, 0x7f, 0x20, 0x01, 0x20,
80  0x04, 0x63, 0x1b, 0x6a, 0x20, 0x01, 0x44, 0x00, 0x00, 0x00, 0x00, 0x80,
81  0x84, 0x2e, 0x41, 0xa2, 0xfc, 0x06, 0xa7, 0x6a, 0x20, 0x02, 0x91, 0x43,
82  0x00, 0x00, 0x7a, 0x44, 0x94, 0xfc, 0x01, 0x73, 0x22, 0x00, 0x20, 0x00,
83  0xb8, 0x44, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x08, 0x40, 0xa3, 0xfc,
84  0x07, 0xa7, 0x6a, 0x22, 0x00, 0x41, 0x08, 0x76, 0x20, 0x00, 0x6a, 0x21,
85  0x00, 0x20, 0x03, 0x41, 0x7f, 0x6a, 0x22, 0x03, 0x0d, 0x00, 0x0b, 0x20,
86  0x00, 0x0b, 0x07, 0x00, 0x20, 0x01, 0x20, 0x00, 0x6a, 0x0b, 0x07, 0x00,
87  0x20, 0x01, 0x20, 0x00, 0x73, 0x0b, 0x0a, 0x00, 0x20, 0x01, 0x20, 0x00,
88  0x6c, 0x41, 0x01, 0x6a, 0x0b, 0x0a, 0x00, 0x20, 0x00, 0x20, 0x01, 0x41,
89  0x1f, 0x70, 0x77, 0x0b, 0x0b, 0x57, 0x01, 0x00, 0x41, 0x80, 0x08, 0x0b,
90  0x50, 0x01, 0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x03, 0x00, 0x00,
91  0x00, 0x04, 0x00, 0x00, 0x00, 0x88, 0x6a, 0x3f, 0x24, 0xd3, 0x08, 0xa3,
92  0x85, 0x2e, 0x8a, 0x19, 0x13, 0x44, 0x73, 0x70, 0x03, 0x22, 0x38, 0x09,
93  0xa4, 0xd0, 0x31, 0x9f, 0x29, 0x98, 0xfa, 0x2e, 0x08, 0x89, 0x6c, 0x4e,
94  0xec, 0xe6, 0x21, 0x28, 0x45, 0x77, 0x13, 0xd0, 0x38, 0xcf, 0x66, 0x54,
95  0xbe, 0x6c, 0x0c, 0xe9, 0x34, 0xb7, 0x29, 0xac, 0xc0, 0xdd, 0x50, 0x7c,
96  0xc9, 0xb5, 0xd5, 0x84, 0x3f, 0x17, 0x09, 0x47, 0xb5, 0x00, 0x66, 0x04,
97  0x6e, 0x61, 0x6d, 0x65, 0x00, 0x0a, 0x09, 0x70, 0x72, 0x6f, 0x67, 0x2e,
98  0x77, 0x61, 0x73, 0x6d, 0x01, 0x33, 0x07, 0x00, 0x03, 0x72, 0x75, 0x6e,
99  0x01, 0x03, 0x66, 0x69, 0x62, 0x02, 0x06, 0x66, 0x70, 0x5f, 0x72, 0x75,
100  0x6e, 0x03, 0x06, 0x6f, 0x70, 0x5f, 0x61, 0x64, 0x64, 0x04, 0x06, 0x6f,
101  0x70, 0x5f, 0x78, 0x6f, 0x72, 0x05, 0x06, 0x6f, 0x70, 0x5f, 0x6d, 0x75,
102  0x6c, 0x06, 0x06, 0x6f, 0x70, 0x5f, 0x72, 0x6f, 0x74, 0x07, 0x12, 0x01,
103  0x00, 0x0f, 0x5f, 0x5f, 0x73, 0x74, 0x61, 0x63, 0x6b, 0x5f, 0x70, 0x6f,
104  0x69, 0x6e, 0x74, 0x65, 0x72, 0x09, 0x0a, 0x01, 0x00, 0x07, 0x2e, 0x72,
105  0x6f, 0x64, 0x61, 0x74, 0x61, 0x00, 0x38, 0x09, 0x70, 0x72, 0x6f, 0x64,
106  0x75, 0x63, 0x65, 0x72, 0x73, 0x01, 0x0c, 0x70, 0x72, 0x6f, 0x63, 0x65,
107  0x73, 0x73, 0x65, 0x64, 0x2d, 0x62, 0x79, 0x01, 0x0c, 0x55, 0x62, 0x75,
108  0x6e, 0x74, 0x75, 0x20, 0x63, 0x6c, 0x61, 0x6e, 0x67, 0x11, 0x32, 0x31,
109  0x2e, 0x31, 0x2e, 0x38, 0x20, 0x28, 0x36, 0x75, 0x62, 0x75, 0x6e, 0x74,
110  0x75, 0x31, 0x29, 0x00, 0x94, 0x01, 0x0f, 0x74, 0x61, 0x72, 0x67, 0x65,
111  0x74, 0x5f, 0x66, 0x65, 0x61, 0x74, 0x75, 0x72, 0x65, 0x73, 0x08, 0x2b,
112  0x0b, 0x62, 0x75, 0x6c, 0x6b, 0x2d, 0x6d, 0x65, 0x6d, 0x6f, 0x72, 0x79,
113  0x2b, 0x0f, 0x62, 0x75, 0x6c, 0x6b, 0x2d, 0x6d, 0x65, 0x6d, 0x6f, 0x72,
114  0x79, 0x2d, 0x6f, 0x70, 0x74, 0x2b, 0x16, 0x63, 0x61, 0x6c, 0x6c, 0x2d,
115  0x69, 0x6e, 0x64, 0x69, 0x72, 0x65, 0x63, 0x74, 0x2d, 0x6f, 0x76, 0x65,
116  0x72, 0x6c, 0x6f, 0x6e, 0x67, 0x2b, 0x0a, 0x6d, 0x75, 0x6c, 0x74, 0x69,
117  0x76, 0x61, 0x6c, 0x75, 0x65, 0x2b, 0x0f, 0x6d, 0x75, 0x74, 0x61, 0x62,
118  0x6c, 0x65, 0x2d, 0x67, 0x6c, 0x6f, 0x62, 0x61, 0x6c, 0x73, 0x2b, 0x13,
119  0x6e, 0x6f, 0x6e, 0x74, 0x72, 0x61, 0x70, 0x70, 0x69, 0x6e, 0x67, 0x2d,
120  0x66, 0x70, 0x74, 0x6f, 0x69, 0x6e, 0x74, 0x2b, 0x0f, 0x72, 0x65, 0x66,
121  0x65, 0x72, 0x65, 0x6e, 0x63, 0x65, 0x2d, 0x74, 0x79, 0x70, 0x65, 0x73,
122  0x2b, 0x08, 0x73, 0x69, 0x67, 0x6e, 0x2d, 0x65, 0x78, 0x74
123};
124unsigned int prog_wasm_len = 1450;