ref: 2bb5d671ca5039456bfbad16ddb26f42573f3fd2
parent: 3cb871044e551f292b9f822673e753fe1f812439
author: Lennart Augustsson <lennart@augustsson.net>
date: Wed Dec 25 15:38:21 EST 2024
Regen
--- a/generated/mhs.c
+++ b/generated/mhs.c
@@ -370,136 +370,136 @@
222,227,229,28,3,67,12,143,224,228,30,21,65,7,1,116,111,194,200,193,
199,129,1,1,57,56,69,215,224,61,19,225,56,36,64,146,144,100,67,159,
133,63,117,14,103,44,134,68,0,85,129,191,4,50,32,95,51,56,102,58,
-1,49,57,99,7,128,61,0,54,167,35,255,156,4,11,80,114,105,109,105,
-116,105,118,101,115,46,40,98,213,64,41,231,170,1,0,52,81,66,1,95,
-54,92,58,64,24,135,102,227,126,4,0,57,65,47,183,145,64,34,134,158,
-224,101,17,1,73,79,192,101,134,185,115,207,131,3,224,210,0,64,253,211,
-217,192,31,243,132,0,224,252,10,180,3,64,29,0,85,166,161,100,155,167,
-104,225,17,4,128,43,244,79,1,128,139,199,8,225,238,25,98,246,195,254,
-96,105,67,114,225,244,5,230,84,22,225,247,1,226,50,6,253,98,2,224,
-63,19,226,243,2,96,56,227,97,7,64,208,135,118,69,88,154,235,101,169,
-163,252,2,67,32,60,161,100,133,214,247,92,3,160,124,97,115,0,90,64,
-4,0,85,165,251,224,36,3,165,163,85,136,192,89,226,121,9,101,169,200,
-241,224,30,10,67,166,224,212,2,229,126,3,226,56,2,192,18,128,0,224,
-115,2,102,155,0,95,65,111,202,48,130,171,1,49,57,125,80,218,26,252,
-207,19,166,24,225,106,19,17,78,111,116,32,97,32,118,97,108,105,100,32,
-67,32,116,121,112,101,252,202,0,1,49,50,159,155,0,58,129,244,66,244,
-64,70,0,79,137,69,224,74,9,227,3,2,4,70,108,111,97,116,116,11,
-245,189,13,224,31,2,0,64,224,79,27,0,73,140,229,224,76,13,192,28,
-224,73,28,209,142,224,74,13,224,29,0,224,75,17,3,68,97,116,97,96,
-69,96,4,111,254,224,75,17,128,30,224,76,17,132,145,224,63,13,70,121,
-224,62,22,0,83,115,17,8,46,73,79,46,72,97,110,100,108,151,15,225,
-1,13,194,102,227,67,0,108,164,156,169,226,29,17,0,70,136,72,8,46,
-67,46,84,121,112,101,115,46,128,67,66,121,237,104,3,3,67,67,104,97,
-237,198,8,1,67,83,224,21,12,0,85,224,43,13,240,67,11,1,67,85,
-224,22,13,161,239,224,42,5,224,20,11,0,76,238,229,10,1,67,85,224,
-21,12,5,80,116,114,100,105,102,238,66,8,3,67,83,105,122,238,202,8,
-1,67,83,224,21,12,0,76,224,110,14,224,22,12,1,84,105,143,34,238,
-147,10,67,110,135,154,230,99,17,228,75,1,64,45,135,53,224,45,17,224,
-42,2,0,54,231,243,26,3,118,111,105,100,235,96,2,232,207,20,224,53,
+1,49,57,99,7,128,61,0,54,167,35,255,156,4,0,40,98,202,64,30,
+231,159,1,0,52,81,55,1,95,54,92,47,64,24,135,91,227,115,4,0,
+57,65,36,183,134,64,34,134,147,224,90,6,12,80,114,105,109,105,116,105,
+118,101,115,46,73,79,192,101,134,174,115,196,130,248,224,199,0,64,242,211,
+206,192,31,243,121,0,224,241,10,179,248,64,29,0,85,166,150,100,144,167,
+93,225,6,4,128,43,244,68,1,128,139,198,253,225,227,25,98,235,195,243,
+96,105,67,103,225,233,5,230,73,22,225,236,1,226,39,6,253,87,2,224,
+63,19,226,232,2,96,56,227,86,7,64,208,135,107,69,77,154,224,101,158,
+163,241,2,67,32,60,161,100,133,203,247,81,3,160,124,97,115,0,90,64,
+4,0,85,165,240,224,36,3,165,152,85,125,192,89,226,110,9,101,158,200,
+230,224,30,10,67,155,224,212,2,229,115,3,226,56,2,192,18,128,0,224,
+115,2,102,144,0,95,65,111,202,37,130,171,1,49,57,125,69,218,15,252,
+196,19,166,13,225,106,19,17,78,111,116,32,97,32,118,97,108,105,100,32,
+67,32,116,121,112,101,252,191,0,1,49,50,159,144,0,58,129,244,66,244,
+64,70,0,79,137,58,224,74,9,227,3,2,4,70,108,111,97,116,116,0,
+245,178,13,224,31,2,0,64,224,79,27,0,73,140,218,224,76,13,192,28,
+224,73,28,209,131,224,74,13,224,29,0,224,75,17,3,68,97,116,97,96,
+69,96,4,111,243,224,75,17,128,30,224,76,17,132,145,224,63,13,70,110,
+224,62,22,0,83,115,6,8,46,73,79,46,72,97,110,100,108,151,4,225,
+1,13,194,102,227,67,0,108,153,156,158,226,29,17,0,70,136,61,8,46,
+67,46,84,121,112,101,115,46,128,67,66,121,237,93,3,3,67,67,104,97,
+237,187,8,1,67,83,224,21,12,0,85,224,43,13,240,56,11,1,67,85,
+224,22,13,161,239,224,42,5,224,20,11,0,76,238,218,10,1,67,85,224,
+21,12,5,80,116,114,100,105,102,238,55,8,3,67,83,105,122,238,191,8,
+1,67,83,224,21,12,0,76,224,110,14,224,22,12,1,84,105,143,23,238,
+136,10,67,110,135,143,230,99,17,228,75,1,64,45,135,42,224,45,17,224,
+42,2,0,54,231,232,26,3,118,111,105,100,235,85,2,232,196,20,224,53,
1,8,40,105,110,116,32,115,41,32,123,229,187,6,224,33,1,0,59,158,
-49,160,226,135,130,100,228,169,169,70,184,64,6,68,179,64,105,96,9,64,
-8,3,48,49,32,35,69,91,133,86,102,222,64,65,175,18,2,49,57,56,
-139,38,139,227,64,31,3,10,65,32,94,245,99,10,0,32,64,30,199,148,
-222,55,0,52,104,63,96,15,78,134,160,131,101,187,64,248,69,94,160,23,
+38,160,226,135,130,100,228,169,158,70,184,64,6,68,179,64,105,96,9,64,
+8,3,48,49,32,35,69,91,133,86,102,222,64,65,175,7,2,49,57,56,
+139,27,139,216,64,31,3,10,65,32,94,245,88,10,0,32,64,30,199,148,
+222,44,0,52,104,52,96,15,78,123,160,131,101,187,64,248,69,94,160,23,
198,204,64,18,1,55,55,224,19,1,69,159,0,49,160,14,64,13,0,54,
-78,250,0,55,92,11,1,57,54,69,169,2,95,49,52,154,49,224,58,6,
-64,31,137,65,160,139,2,49,57,55,91,89,1,57,55,75,37,0,50,93,
-149,160,153,224,31,7,64,97,2,49,56,56,73,255,64,9,2,55,55,32,
-170,3,224,163,3,224,166,5,64,109,0,55,138,247,167,146,192,213,0,95,
-136,230,64,116,235,172,3,224,30,7,154,132,188,8,225,19,2,130,75,1,
-57,55,64,201,122,60,224,65,0,224,232,1,65,116,232,10,0,224,255,3,
-0,56,136,222,193,61,224,0,3,65,171,136,180,0,94,153,144,97,189,135,
-245,0,85,96,113,0,56,97,239,64,120,2,10,65,32,83,62,2,67,65,
-83,120,160,2,76,101,110,64,44,64,32,64,62,178,58,96,18,163,42,5,
+78,239,0,55,92,0,1,57,54,69,169,2,95,49,52,154,38,224,58,6,
+64,31,137,54,160,139,2,49,57,55,91,78,1,57,55,75,26,0,50,93,
+138,160,153,224,31,7,64,97,2,49,56,56,73,244,64,9,2,55,55,32,
+169,248,224,163,3,224,166,5,64,109,0,55,138,236,167,146,192,213,0,95,
+136,230,64,116,235,161,3,224,30,7,154,121,187,253,225,19,2,130,75,1,
+57,55,64,201,122,49,224,65,0,224,232,1,65,116,232,10,0,224,255,3,
+0,56,136,222,193,61,224,0,3,65,171,136,180,0,94,153,133,97,189,135,
+245,0,85,96,113,0,56,97,239,64,120,2,10,65,32,83,51,2,67,65,
+83,120,149,2,76,101,110,64,44,64,32,64,62,178,47,96,18,163,42,5,
56,52,32,75,32,95,103,192,192,7,0,95,65,79,160,231,2,95,57,48,
-224,11,2,107,116,160,11,66,247,128,11,65,4,0,52,98,159,75,72,1,
-95,51,171,11,65,186,1,51,49,168,25,96,239,78,116,128,30,1,95,51,
+224,11,2,107,105,160,11,66,247,128,11,65,4,0,52,98,159,75,61,1,
+95,51,171,0,65,186,1,51,49,168,25,96,239,78,105,128,30,1,95,51,
64,23,64,134,0,54,224,134,24,103,196,160,134,128,11,128,134,128,11,128,
134,64,11,224,134,1,2,49,57,55,66,188,224,136,4,103,191,201,130,0,
-57,82,144,192,137,64,5,64,137,131,134,0,94,84,101,1,80,116,99,33,
-64,37,96,18,153,2,96,18,131,83,174,252,106,14,72,114,64,82,169,78,
-227,21,7,143,58,0,95,109,124,96,103,195,118,64,51,0,48,125,224,64,
-58,236,140,0,64,12,68,14,128,170,64,167,77,38,141,206,64,14,253,108,
-0,82,80,98,78,64,224,128,58,130,19,0,94,155,122,64,174,67,85,96,
-193,1,117,116,128,15,162,8,244,16,3,96,23,130,13,163,93,1,55,54,
+57,82,133,192,137,64,5,64,137,131,134,0,94,84,90,1,80,116,99,33,
+64,37,96,18,152,247,96,18,131,83,174,241,106,14,72,114,64,82,169,78,
+227,21,7,143,47,0,95,109,113,96,103,195,118,64,51,0,48,125,213,64,
+58,236,129,0,64,12,68,14,128,170,64,167,77,27,141,195,64,14,253,97,
+0,82,69,98,78,64,224,128,58,130,19,0,94,155,111,64,174,67,85,96,
+193,1,117,116,128,15,162,8,244,5,3,96,23,130,13,163,93,1,55,54,
64,81,164,226,0,79,228,228,13,30,115,116,97,116,105,99,32,117,110,115,
105,103,110,101,100,32,99,104,97,114,32,100,97,116,97,91,93,32,61,32,
-123,100,222,101,210,114,77,205,218,83,221,1,49,57,107,143,64,7,2,53,
-32,35,105,207,1,64,66,253,63,4,1,125,59,96,62,224,20,5,224,105,
-5,10,42,99,111,109,98,101,120,112,114,32,61,96,117,128,49,158,228,229,
+123,100,222,101,210,114,66,205,207,83,210,1,49,57,107,143,64,7,2,53,
+32,35,105,207,1,64,66,253,52,4,1,125,59,96,62,224,20,5,224,105,
+5,10,42,99,111,109,98,101,120,112,114,32,61,96,117,128,49,158,217,229,
155,19,69,154,192,58,5,108,101,110,32,61,32,165,163,224,165,2,235,155,
-2,142,58,2,79,32,35,73,255,239,243,2,129,111,69,149,243,83,3,0,
-83,99,142,147,85,96,16,94,91,224,7,1,229,51,1,243,82,3,243,81,
-5,1,95,55,129,16,128,95,173,156,2,55,54,52,241,36,1,224,160,6,
+2,142,47,2,79,32,35,73,255,239,232,2,129,111,69,149,243,72,3,0,
+83,99,142,147,74,96,16,94,80,224,7,1,229,51,1,243,71,3,243,70,
+5,1,95,55,129,16,128,95,173,156,2,55,54,52,241,25,1,224,160,6,
133,81,76,22,0,52,160,161,64,56,130,184,3,85,32,75,52,160,2,0,
90,64,4,224,87,0,130,196,96,30,0,90,224,1,8,192,40,224,230,1,
-130,177,3,95,53,54,53,98,43,130,160,0,85,95,92,224,61,9,224,65,
+130,177,3,95,53,54,53,98,43,130,160,0,85,95,81,224,61,9,224,65,
9,128,67,196,174,1,75,51,224,145,0,224,40,2,2,58,49,57,65,97,
-237,151,0,0,89,129,255,128,1,225,86,4,140,102,76,162,161,76,127,179,
-224,19,3,177,17,192,63,128,11,2,95,49,50,229,122,1,180,221,0,64,
-145,47,113,3,128,130,200,108,0,57,110,117,71,140,74,110,76,58,0,75,
-64,40,100,67,96,65,64,144,213,249,3,50,32,95,53,134,213,2,95,49,
-53,100,154,0,53,64,81,64,79,131,85,230,36,3,72,11,85,49,64,37,
+237,151,0,0,89,129,255,128,1,225,86,4,140,102,76,162,161,76,127,168,
+224,19,3,177,6,192,63,128,11,2,95,49,50,229,122,1,180,210,0,64,
+145,36,112,248,128,130,200,108,0,57,110,117,71,140,74,110,76,58,0,75,
+64,40,100,67,96,65,64,144,213,238,3,50,32,95,53,134,213,2,95,49,
+53,100,154,0,53,64,81,64,79,131,85,230,36,3,72,11,85,38,64,37,
64,15,198,207,229,247,0,79,112,205,64,96,86,174,247,1,57,53,163,52,
0,53,195,237,1,53,54,96,93,0,75,65,147,64,20,3,10,65,32,90,
-77,51,64,14,164,184,158,39,96,32,228,183,0,230,178,4,4,95,49,57,
+77,51,64,14,164,184,158,28,96,32,228,183,0,230,178,4,4,95,49,57,
52,56,129,54,231,243,0,2,50,49,54,233,159,3,0,67,168,169,129,77,
224,37,14,6,77,72,83,67,79,78,70,160,42,129,142,96,2,64,16,129,
-164,128,122,180,62,146,147,224,8,3,64,137,70,30,2,49,57,53,242,251,
+164,128,122,180,51,146,136,224,8,3,64,137,70,30,2,49,57,53,242,240,
1,1,66,39,175,114,229,78,0,237,227,2,5,50,50,52,32,95,50,150,
-166,83,37,88,51,99,18,0,50,66,223,206,184,136,218,193,107,2,53,49,
+155,83,26,88,40,99,18,0,50,66,223,206,184,136,218,193,107,2,53,49,
53,64,59,234,128,4,11,111,117,108,100,32,110,111,116,32,102,105,110,140,
242,132,70,160,138,224,43,3,4,105,110,32,102,105,140,92,234,174,3,161,
26,231,188,2,192,188,98,13,0,49,224,65,2,4,100,101,102,97,117,154,
-194,3,64,95,52,52,99,199,228,165,9,1,99,99,225,73,0,0,32,96,
+183,3,64,95,52,52,99,199,228,165,9,1,99,99,225,73,0,0,32,96,
37,224,103,3,144,248,225,32,4,64,105,233,139,7,96,146,225,42,34,225,
43,8,237,10,18,9,117,110,100,32,116,97,114,103,101,116,239,34,1,100,
147,73,253,4,49,57,52,53,32,67,55,96,12,0,52,103,202,224,11,2,
-224,0,2,192,207,225,59,5,225,61,2,150,115,235,22,0,0,53,64,179,
+224,0,2,192,207,225,59,5,225,61,2,150,104,235,22,0,0,53,64,179,
192,215,225,61,28,139,175,0,52,74,43,0,50,98,87,240,69,2,224,59,
22,233,191,3,103,226,161,135,224,83,42,1,111,110,109,78,224,0,0,225,
90,17,4,117,110,105,120,45,130,28,229,228,1,0,95,139,131,163,245,235,
181,1,67,92,0,80,131,239,229,146,0,197,239,1,75,52,198,81,64,30,
-133,124,249,251,4,211,113,211,110,227,179,1,186,10,101,29,147,90,164,142,
+133,124,249,240,4,211,113,211,110,227,179,1,185,255,101,29,147,90,164,142,
96,225,129,23,196,182,147,89,3,95,49,57,51,133,1,64,109,64,209,232,
-192,0,236,52,3,2,95,49,57,251,77,0,132,26,128,126,1,95,50,86,
-224,64,13,224,45,4,0,53,92,70,216,140,96,44,132,72,66,96,235,190,
+192,0,236,52,3,2,95,49,57,251,66,0,132,26,128,126,1,95,50,86,
+213,64,13,224,45,4,0,53,92,59,216,129,96,44,132,72,66,96,235,190,
4,226,245,0,226,193,4,225,100,17,2,67,97,110,67,238,4,112,97,114,
-115,101,162,190,224,255,0,227,66,53,224,122,0,162,205,230,181,1,187,86,
+115,101,162,190,224,255,0,227,66,53,224,122,0,162,205,230,181,1,187,75,
227,160,93,2,82,101,97,195,159,0,115,100,176,9,46,32,80,111,115,115,
105,98,108,101,192,22,195,183,232,77,0,99,160,227,165,3,0,89,98,40,
68,230,245,145,3,168,201,231,66,1,160,0,227,192,5,225,0,9,68,199,
-92,206,224,164,1,160,136,0,46,227,29,0,66,58,135,128,129,240,161,144,
+92,195,224,164,1,160,136,0,46,227,29,0,66,58,135,128,129,240,161,144,
98,103,0,53,142,216,165,9,64,180,0,54,64,43,116,107,0,52,72,159,
116,204,212,209,132,30,140,32,1,49,57,128,129,71,85,0,83,164,78,81,
-232,0,52,126,147,0,75,98,182,224,49,4,225,88,19,9,65,109,98,105,
+232,0,52,126,136,0,75,98,182,224,49,4,225,88,19,9,65,109,98,105,
103,117,111,117,115,58,225,61,0,0,55,73,164,170,216,229,2,3,228,234,
1,64,215,173,108,2,49,49,52,133,190,230,31,1,0,50,74,68,65,79,
-225,243,0,0,35,189,81,98,31,64,252,1,50,56,230,64,2,0,84,97,
-54,231,147,2,192,34,90,118,0,50,246,25,0,162,94,108,154,0,49,96,
+225,243,0,0,35,189,70,98,31,64,252,1,50,56,230,64,2,0,84,97,
+54,231,147,2,192,34,90,107,0,50,246,25,0,162,94,108,154,0,49,96,
33,225,218,0,0,35,85,59,96,187,224,57,11,224,46,3,229,200,24,160,
74,96,0,2,95,49,49,65,48,128,249,2,95,49,50,107,233,96,12,65,
0,0,54,136,126,138,253,4,49,52,32,64,90,216,13,163,6,64,116,149,
163,246,131,0,192,193,131,19,78,73,139,50,199,218,224,193,4,234,254,0,
224,46,4,69,3,240,16,1,98,236,171,66,64,219,64,105,0,80,192,85,
-235,130,0,130,1,137,163,113,18,64,191,137,95,64,41,132,114,109,33,221,
-2,0,79,98,172,235,158,0,0,52,88,238,66,179,64,35,225,185,1,3,
-58,92,49,48,189,221,129,157,236,170,22,2,32,32,102,71,104,227,169,2,
+235,130,0,130,1,137,163,113,18,64,191,137,95,64,41,132,114,109,33,220,
+247,0,79,98,172,235,158,0,0,52,88,238,66,179,64,35,225,185,1,3,
+58,92,49,48,189,210,129,157,236,170,22,2,32,32,102,71,104,227,169,2,
0,50,110,182,130,107,0,54,169,38,168,172,224,72,21,6,101,120,112,101,
-99,116,101,224,75,3,105,9,2,95,49,51,91,108,197,216,236,218,2,65,
+99,116,101,224,75,3,105,9,2,95,49,51,91,97,197,216,236,218,2,65,
78,98,177,2,54,53,52,64,5,98,229,224,12,5,1,57,51,97,226,0,
-51,151,137,102,168,2,49,57,51,123,145,224,7,1,76,157,64,78,186,42,
-96,185,70,52,3,95,49,54,56,67,45,96,62,90,204,250,19,4,138,242,
+51,151,137,102,168,2,49,57,51,123,134,224,7,1,76,157,64,78,186,42,
+96,185,70,52,3,95,49,54,56,67,45,96,62,90,193,250,19,4,138,242,
1,51,51,66,107,1,56,51,107,83,96,39,224,211,1,1,101,111,167,82,
65,146,2,95,50,50,64,75,96,151,184,11,96,116,172,183,99,150,160,180,
80,82,0,54,75,231,166,179,224,211,8,143,204,96,190,96,191,155,13,64,
221,96,74,1,55,48,128,181,138,170,64,38,64,29,135,95,224,104,13,118,
85,1,57,51,100,140,1,51,55,129,0,160,107,2,51,32,35,133,229,1,
-49,57,94,49,64,74,64,88,129,119,0,55,66,219,96,246,224,245,1,3,
+49,57,94,38,64,74,64,88,129,119,0,55,66,219,96,246,224,245,1,3,
118,97,108,117,106,125,225,48,7,96,68,103,210,97,15,250,241,0,64,81,
172,212,101,71,1,50,52,103,181,89,29,161,82,64,55,0,55,99,236,224,
-106,5,4,92,57,50,38,110,224,106,10,147,198,188,130,64,106,163,180,128,
+106,5,4,92,57,50,38,110,224,106,10,147,198,188,119,64,106,163,180,128,
107,196,231,225,84,3,224,244,9,91,130,225,20,1,160,19,64,188,64,66,
0,54,160,66,2,57,51,52,76,184,64,35,225,16,17,2,107,101,121,224,
163,10,130,62,193,14,73,168,225,15,3,130,217,100,136,224,249,2,198,4,
@@ -507,7 +507,7 @@
198,142,30,96,31,0,90,65,106,138,32,225,28,2,131,3,0,80,96,213,
194,154,4,54,55,50,32,80,101,100,0,53,84,93,0,52,96,180,167,53,
84,67,0,95,68,199,64,48,220,181,196,115,226,108,2,226,214,5,167,151,
-230,97,1,97,244,64,72,158,254,1,67,32,225,145,3,160,154,130,192,238,
+230,97,1,97,244,64,72,158,243,1,67,32,225,145,3,160,154,130,192,238,
168,6,0,50,90,235,1,95,50,92,95,111,7,231,211,0,201,197,244,192,
2,0,51,131,255,224,34,0,162,21,0,58,137,242,160,91,104,1,74,5,
131,54,0,50,162,153,71,122,87,185,64,8,3,55,49,57,32,130,206,5,