1unsigned char table2_wasm[] = { 2 0x00, 0x61, 0x73, 0x6d, 0x01, 0x00, 0x00, 0x00, 0x01, 0x05, 0x01, 0x60, 3 0x00, 0x01, 0x7f, 0x02, 0x0c, 0x01, 0x02, 0x6a, 0x73, 0x03, 0x74, 0x62, 4 0x6c, 0x01, 0x70, 0x00, 0x02, 0x03, 0x03, 0x02, 0x00, 0x00, 0x09, 0x08, 5 0x01, 0x00, 0x41, 0x00, 0x0b, 0x02, 0x00, 0x01, 0x0a, 0x0c, 0x02, 0x04, 6 0x00, 0x41, 0x2a, 0x0b, 0x05, 0x00, 0x41, 0xd3, 0x00, 0x0b 7}; 8unsigned int table2_wasm_len = 58; 9