(function utf8_invalid_encoding_wast_js() {

// utf8-invalid-encoding.wast:1
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:1");

// utf8-invalid-encoding.wast:2
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:2");

// utf8-invalid-encoding.wast:3
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:3");

// utf8-invalid-encoding.wast:4
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:4");

// utf8-invalid-encoding.wast:5
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:5");

// utf8-invalid-encoding.wast:6
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:6");

// utf8-invalid-encoding.wast:7
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:7");

// utf8-invalid-encoding.wast:8
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:8");

// utf8-invalid-encoding.wast:9
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:9");

// utf8-invalid-encoding.wast:10
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:10");

// utf8-invalid-encoding.wast:11
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:11");

// utf8-invalid-encoding.wast:12
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:12");

// utf8-invalid-encoding.wast:13
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:13");

// utf8-invalid-encoding.wast:14
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:14");

// utf8-invalid-encoding.wast:15
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:15");

// utf8-invalid-encoding.wast:16
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:16");

// utf8-invalid-encoding.wast:17
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:17");

// utf8-invalid-encoding.wast:18
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:18");

// utf8-invalid-encoding.wast:19
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:19");

// utf8-invalid-encoding.wast:20
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:20");

// utf8-invalid-encoding.wast:21
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:21");

// utf8-invalid-encoding.wast:22
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:22");

// utf8-invalid-encoding.wast:23
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:23");

// utf8-invalid-encoding.wast:24
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:24");

// utf8-invalid-encoding.wast:25
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:25");

// utf8-invalid-encoding.wast:26
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:26");

// utf8-invalid-encoding.wast:27
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:27");

// utf8-invalid-encoding.wast:28
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:28");

// utf8-invalid-encoding.wast:29
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:29");

// utf8-invalid-encoding.wast:30
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:30");

// utf8-invalid-encoding.wast:31
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:31");

// utf8-invalid-encoding.wast:32
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:32");

// utf8-invalid-encoding.wast:33
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:33");

// utf8-invalid-encoding.wast:34
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:34");

// utf8-invalid-encoding.wast:35
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:35");

// utf8-invalid-encoding.wast:36
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:36");

// utf8-invalid-encoding.wast:37
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:37");

// utf8-invalid-encoding.wast:38
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:38");

// utf8-invalid-encoding.wast:39
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:39");

// utf8-invalid-encoding.wast:40
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:40");

// utf8-invalid-encoding.wast:41
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:41");

// utf8-invalid-encoding.wast:42
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:42");

// utf8-invalid-encoding.wast:43
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:43");

// utf8-invalid-encoding.wast:44
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:44");

// utf8-invalid-encoding.wast:45
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:45");

// utf8-invalid-encoding.wast:46
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:46");

// utf8-invalid-encoding.wast:47
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:47");

// utf8-invalid-encoding.wast:48
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:48");

// utf8-invalid-encoding.wast:49
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:49");

// utf8-invalid-encoding.wast:50
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:50");

// utf8-invalid-encoding.wast:51
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:51");

// utf8-invalid-encoding.wast:52
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:52");

// utf8-invalid-encoding.wast:53
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:53");

// utf8-invalid-encoding.wast:54
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:54");

// utf8-invalid-encoding.wast:55
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:55");

// utf8-invalid-encoding.wast:56
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:56");

// utf8-invalid-encoding.wast:57
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:57");

// utf8-invalid-encoding.wast:58
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:58");

// utf8-invalid-encoding.wast:59
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:59");

// utf8-invalid-encoding.wast:60
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:60");

// utf8-invalid-encoding.wast:61
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:61");

// utf8-invalid-encoding.wast:62
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:62");

// utf8-invalid-encoding.wast:63
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:63");

// utf8-invalid-encoding.wast:64
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:64");

// utf8-invalid-encoding.wast:65
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:65");

// utf8-invalid-encoding.wast:66
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:66");

// utf8-invalid-encoding.wast:67
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:67");

// utf8-invalid-encoding.wast:68
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:68");

// utf8-invalid-encoding.wast:69
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:69");

// utf8-invalid-encoding.wast:70
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:70");

// utf8-invalid-encoding.wast:71
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:71");

// utf8-invalid-encoding.wast:72
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:72");

// utf8-invalid-encoding.wast:73
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:73");

// utf8-invalid-encoding.wast:74
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:74");

// utf8-invalid-encoding.wast:75
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:75");

// utf8-invalid-encoding.wast:76
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:76");

// utf8-invalid-encoding.wast:77
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:77");

// utf8-invalid-encoding.wast:78
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:78");

// utf8-invalid-encoding.wast:79
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:79");

// utf8-invalid-encoding.wast:80
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:80");

// utf8-invalid-encoding.wast:81
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:81");

// utf8-invalid-encoding.wast:82
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:82");

// utf8-invalid-encoding.wast:83
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:83");

// utf8-invalid-encoding.wast:84
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:84");

// utf8-invalid-encoding.wast:85
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:85");

// utf8-invalid-encoding.wast:86
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:86");

// utf8-invalid-encoding.wast:87
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:87");

// utf8-invalid-encoding.wast:88
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:88");

// utf8-invalid-encoding.wast:89
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:89");

// utf8-invalid-encoding.wast:90
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:90");

// utf8-invalid-encoding.wast:91
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:91");

// utf8-invalid-encoding.wast:92
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:92");

// utf8-invalid-encoding.wast:93
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:93");

// utf8-invalid-encoding.wast:94
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:94");

// utf8-invalid-encoding.wast:95
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:95");

// utf8-invalid-encoding.wast:96
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:96");

// utf8-invalid-encoding.wast:97
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:97");

// utf8-invalid-encoding.wast:98
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:98");

// utf8-invalid-encoding.wast:99
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:99");

// utf8-invalid-encoding.wast:100
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:100");

// utf8-invalid-encoding.wast:101
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:101");

// utf8-invalid-encoding.wast:102
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:102");

// utf8-invalid-encoding.wast:103
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:103");

// utf8-invalid-encoding.wast:104
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:104");

// utf8-invalid-encoding.wast:105
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:105");

// utf8-invalid-encoding.wast:106
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:106");

// utf8-invalid-encoding.wast:107
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:107");

// utf8-invalid-encoding.wast:108
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:108");

// utf8-invalid-encoding.wast:109
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:109");

// utf8-invalid-encoding.wast:110
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:110");

// utf8-invalid-encoding.wast:111
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:111");

// utf8-invalid-encoding.wast:112
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:112");

// utf8-invalid-encoding.wast:113
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:113");

// utf8-invalid-encoding.wast:114
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:114");

// utf8-invalid-encoding.wast:115
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:115");

// utf8-invalid-encoding.wast:116
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:116");

// utf8-invalid-encoding.wast:117
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:117");

// utf8-invalid-encoding.wast:118
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:118");

// utf8-invalid-encoding.wast:119
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:119");

// utf8-invalid-encoding.wast:120
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:120");

// utf8-invalid-encoding.wast:121
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:121");

// utf8-invalid-encoding.wast:122
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:122");

// utf8-invalid-encoding.wast:123
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:123");

// utf8-invalid-encoding.wast:124
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:124");

// utf8-invalid-encoding.wast:125
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:125");

// utf8-invalid-encoding.wast:126
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:126");

// utf8-invalid-encoding.wast:127
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:127");

// utf8-invalid-encoding.wast:128
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:128");

// utf8-invalid-encoding.wast:129
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:129");

// utf8-invalid-encoding.wast:130
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:130");

// utf8-invalid-encoding.wast:131
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:131");

// utf8-invalid-encoding.wast:132
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:132");

// utf8-invalid-encoding.wast:133
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:133");

// utf8-invalid-encoding.wast:134
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:134");

// utf8-invalid-encoding.wast:135
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:135");

// utf8-invalid-encoding.wast:136
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:136");

// utf8-invalid-encoding.wast:137
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:137");

// utf8-invalid-encoding.wast:138
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:138");

// utf8-invalid-encoding.wast:139
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:139");

// utf8-invalid-encoding.wast:140
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:140");

// utf8-invalid-encoding.wast:141
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:141");

// utf8-invalid-encoding.wast:142
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:142");

// utf8-invalid-encoding.wast:143
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:143");

// utf8-invalid-encoding.wast:144
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:144");

// utf8-invalid-encoding.wast:145
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:145");

// utf8-invalid-encoding.wast:146
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:146");

// utf8-invalid-encoding.wast:147
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:147");

// utf8-invalid-encoding.wast:148
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:148");

// utf8-invalid-encoding.wast:149
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:149");

// utf8-invalid-encoding.wast:150
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:150");

// utf8-invalid-encoding.wast:151
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:151");

// utf8-invalid-encoding.wast:152
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:152");

// utf8-invalid-encoding.wast:153
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:153");

// utf8-invalid-encoding.wast:154
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:154");

// utf8-invalid-encoding.wast:155
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:155");

// utf8-invalid-encoding.wast:156
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:156");

// utf8-invalid-encoding.wast:157
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:157");

// utf8-invalid-encoding.wast:158
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:158");

// utf8-invalid-encoding.wast:159
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:159");

// utf8-invalid-encoding.wast:160
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:160");

// utf8-invalid-encoding.wast:161
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:161");

// utf8-invalid-encoding.wast:162
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:162");

// utf8-invalid-encoding.wast:163
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:163");

// utf8-invalid-encoding.wast:164
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:164");

// utf8-invalid-encoding.wast:165
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:165");

// utf8-invalid-encoding.wast:166
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:166");

// utf8-invalid-encoding.wast:167
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:167");

// utf8-invalid-encoding.wast:168
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:168");

// utf8-invalid-encoding.wast:169
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:169");

// utf8-invalid-encoding.wast:170
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:170");

// utf8-invalid-encoding.wast:171
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:171");

// utf8-invalid-encoding.wast:172
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:172");

// utf8-invalid-encoding.wast:173
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:173");

// utf8-invalid-encoding.wast:174
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:174");

// utf8-invalid-encoding.wast:175
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:175");

// utf8-invalid-encoding.wast:176
assert_malformed("\x3c\x6d\x61\x6c\x66\x6f\x72\x6d\x65\x64\x20\x71\x75\x6f\x74\x65\x3e", "utf8-invalid-encoding.wast:176");
reinitializeRegistry();
})();