Merge remote-tracking branch 'refs/remotes/origin/main'

verilog/rtl/user_module.x

diff --git a/verilog/rtl/user_module.x b/verilog/rtl/user_module.x
index 155d4ad..6a51a01 100644
--- a/verilog/rtl/user_module.x
+++ b/verilog/rtl/user_module.x
@@ -7,7 +7,7 @@
 }
 
 #[test]
-fn lfsr_test() {
+fn lfsr8_test() {
     let _ = assert_eq(lfsr8(u8:0), u8:0);
     let _ = assert_eq(lfsr8(u8:1), u8:2);
     let _ = assert_eq(lfsr8(u8:2), u8:4);
@@ -266,6 +266,2058 @@
     let _ = assert_eq(lfsr8(u8:128), u8:1);
 }
 
+#[test]
+fn lfsr11_test() {
+    let _ = assert_eq(lfsr11(u11:0), u11:0);
+    let _ = assert_eq(lfsr11(u11:1), u11:2);
+    let _ = assert_eq(lfsr11(u11:2), u11:4);
+    let _ = assert_eq(lfsr11(u11:4), u11:8);
+    let _ = assert_eq(lfsr11(u11:8), u11:16);
+    let _ = assert_eq(lfsr11(u11:16), u11:32);
+    let _ = assert_eq(lfsr11(u11:32), u11:64);
+    let _ = assert_eq(lfsr11(u11:64), u11:128);
+    let _ = assert_eq(lfsr11(u11:128), u11:256);
+    let _ = assert_eq(lfsr11(u11:256), u11:513);
+    let _ = assert_eq(lfsr11(u11:513), u11:1026);
+    let _ = assert_eq(lfsr11(u11:1026), u11:5);
+    let _ = assert_eq(lfsr11(u11:5), u11:10);
+    let _ = assert_eq(lfsr11(u11:10), u11:20);
+    let _ = assert_eq(lfsr11(u11:20), u11:40);
+    let _ = assert_eq(lfsr11(u11:40), u11:80);
+    let _ = assert_eq(lfsr11(u11:80), u11:160);
+    let _ = assert_eq(lfsr11(u11:160), u11:320);
+    let _ = assert_eq(lfsr11(u11:320), u11:641);
+    let _ = assert_eq(lfsr11(u11:641), u11:1282);
+    let _ = assert_eq(lfsr11(u11:1282), u11:516);
+    let _ = assert_eq(lfsr11(u11:516), u11:1032);
+    let _ = assert_eq(lfsr11(u11:1032), u11:17);
+    let _ = assert_eq(lfsr11(u11:17), u11:34);
+    let _ = assert_eq(lfsr11(u11:34), u11:68);
+    let _ = assert_eq(lfsr11(u11:68), u11:136);
+    let _ = assert_eq(lfsr11(u11:136), u11:272);
+    let _ = assert_eq(lfsr11(u11:272), u11:545);
+    let _ = assert_eq(lfsr11(u11:545), u11:1090);
+    let _ = assert_eq(lfsr11(u11:1090), u11:133);
+    let _ = assert_eq(lfsr11(u11:133), u11:266);
+    let _ = assert_eq(lfsr11(u11:266), u11:533);
+    let _ = assert_eq(lfsr11(u11:533), u11:1066);
+    let _ = assert_eq(lfsr11(u11:1066), u11:85);
+    let _ = assert_eq(lfsr11(u11:85), u11:170);
+    let _ = assert_eq(lfsr11(u11:170), u11:340);
+    let _ = assert_eq(lfsr11(u11:340), u11:681);
+    let _ = assert_eq(lfsr11(u11:681), u11:1362);
+    let _ = assert_eq(lfsr11(u11:1362), u11:676);
+    let _ = assert_eq(lfsr11(u11:676), u11:1352);
+    let _ = assert_eq(lfsr11(u11:1352), u11:656);
+    let _ = assert_eq(lfsr11(u11:656), u11:1312);
+    let _ = assert_eq(lfsr11(u11:1312), u11:576);
+    let _ = assert_eq(lfsr11(u11:576), u11:1152);
+    let _ = assert_eq(lfsr11(u11:1152), u11:257);
+    let _ = assert_eq(lfsr11(u11:257), u11:515);
+    let _ = assert_eq(lfsr11(u11:515), u11:1030);
+    let _ = assert_eq(lfsr11(u11:1030), u11:13);
+    let _ = assert_eq(lfsr11(u11:13), u11:26);
+    let _ = assert_eq(lfsr11(u11:26), u11:52);
+    let _ = assert_eq(lfsr11(u11:52), u11:104);
+    let _ = assert_eq(lfsr11(u11:104), u11:208);
+    let _ = assert_eq(lfsr11(u11:208), u11:416);
+    let _ = assert_eq(lfsr11(u11:416), u11:833);
+    let _ = assert_eq(lfsr11(u11:833), u11:1667);
+    let _ = assert_eq(lfsr11(u11:1667), u11:1287);
+    let _ = assert_eq(lfsr11(u11:1287), u11:526);
+    let _ = assert_eq(lfsr11(u11:526), u11:1052);
+    let _ = assert_eq(lfsr11(u11:1052), u11:57);
+    let _ = assert_eq(lfsr11(u11:57), u11:114);
+    let _ = assert_eq(lfsr11(u11:114), u11:228);
+    let _ = assert_eq(lfsr11(u11:228), u11:456);
+    let _ = assert_eq(lfsr11(u11:456), u11:913);
+    let _ = assert_eq(lfsr11(u11:913), u11:1827);
+    let _ = assert_eq(lfsr11(u11:1827), u11:1606);
+    let _ = assert_eq(lfsr11(u11:1606), u11:1165);
+    let _ = assert_eq(lfsr11(u11:1165), u11:283);
+    let _ = assert_eq(lfsr11(u11:283), u11:567);
+    let _ = assert_eq(lfsr11(u11:567), u11:1134);
+    let _ = assert_eq(lfsr11(u11:1134), u11:221);
+    let _ = assert_eq(lfsr11(u11:221), u11:442);
+    let _ = assert_eq(lfsr11(u11:442), u11:885);
+    let _ = assert_eq(lfsr11(u11:885), u11:1771);
+    let _ = assert_eq(lfsr11(u11:1771), u11:1495);
+    let _ = assert_eq(lfsr11(u11:1495), u11:942);
+    let _ = assert_eq(lfsr11(u11:942), u11:1885);
+    let _ = assert_eq(lfsr11(u11:1885), u11:1722);
+    let _ = assert_eq(lfsr11(u11:1722), u11:1397);
+    let _ = assert_eq(lfsr11(u11:1397), u11:746);
+    let _ = assert_eq(lfsr11(u11:746), u11:1492);
+    let _ = assert_eq(lfsr11(u11:1492), u11:936);
+    let _ = assert_eq(lfsr11(u11:936), u11:1873);
+    let _ = assert_eq(lfsr11(u11:1873), u11:1698);
+    let _ = assert_eq(lfsr11(u11:1698), u11:1349);
+    let _ = assert_eq(lfsr11(u11:1349), u11:650);
+    let _ = assert_eq(lfsr11(u11:650), u11:1300);
+    let _ = assert_eq(lfsr11(u11:1300), u11:552);
+    let _ = assert_eq(lfsr11(u11:552), u11:1104);
+    let _ = assert_eq(lfsr11(u11:1104), u11:161);
+    let _ = assert_eq(lfsr11(u11:161), u11:322);
+    let _ = assert_eq(lfsr11(u11:322), u11:645);
+    let _ = assert_eq(lfsr11(u11:645), u11:1290);
+    let _ = assert_eq(lfsr11(u11:1290), u11:532);
+    let _ = assert_eq(lfsr11(u11:532), u11:1064);
+    let _ = assert_eq(lfsr11(u11:1064), u11:81);
+    let _ = assert_eq(lfsr11(u11:81), u11:162);
+    let _ = assert_eq(lfsr11(u11:162), u11:324);
+    let _ = assert_eq(lfsr11(u11:324), u11:649);
+    let _ = assert_eq(lfsr11(u11:649), u11:1298);
+    let _ = assert_eq(lfsr11(u11:1298), u11:548);
+    let _ = assert_eq(lfsr11(u11:548), u11:1096);
+    let _ = assert_eq(lfsr11(u11:1096), u11:145);
+    let _ = assert_eq(lfsr11(u11:145), u11:290);
+    let _ = assert_eq(lfsr11(u11:290), u11:581);
+    let _ = assert_eq(lfsr11(u11:581), u11:1162);
+    let _ = assert_eq(lfsr11(u11:1162), u11:277);
+    let _ = assert_eq(lfsr11(u11:277), u11:555);
+    let _ = assert_eq(lfsr11(u11:555), u11:1110);
+    let _ = assert_eq(lfsr11(u11:1110), u11:173);
+    let _ = assert_eq(lfsr11(u11:173), u11:346);
+    let _ = assert_eq(lfsr11(u11:346), u11:693);
+    let _ = assert_eq(lfsr11(u11:693), u11:1386);
+    let _ = assert_eq(lfsr11(u11:1386), u11:724);
+    let _ = assert_eq(lfsr11(u11:724), u11:1448);
+    let _ = assert_eq(lfsr11(u11:1448), u11:848);
+    let _ = assert_eq(lfsr11(u11:848), u11:1697);
+    let _ = assert_eq(lfsr11(u11:1697), u11:1347);
+    let _ = assert_eq(lfsr11(u11:1347), u11:646);
+    let _ = assert_eq(lfsr11(u11:646), u11:1292);
+    let _ = assert_eq(lfsr11(u11:1292), u11:536);
+    let _ = assert_eq(lfsr11(u11:536), u11:1072);
+    let _ = assert_eq(lfsr11(u11:1072), u11:97);
+    let _ = assert_eq(lfsr11(u11:97), u11:194);
+    let _ = assert_eq(lfsr11(u11:194), u11:388);
+    let _ = assert_eq(lfsr11(u11:388), u11:777);
+    let _ = assert_eq(lfsr11(u11:777), u11:1555);
+    let _ = assert_eq(lfsr11(u11:1555), u11:1063);
+    let _ = assert_eq(lfsr11(u11:1063), u11:79);
+    let _ = assert_eq(lfsr11(u11:79), u11:158);
+    let _ = assert_eq(lfsr11(u11:158), u11:316);
+    let _ = assert_eq(lfsr11(u11:316), u11:633);
+    let _ = assert_eq(lfsr11(u11:633), u11:1266);
+    let _ = assert_eq(lfsr11(u11:1266), u11:485);
+    let _ = assert_eq(lfsr11(u11:485), u11:971);
+    let _ = assert_eq(lfsr11(u11:971), u11:1943);
+    let _ = assert_eq(lfsr11(u11:1943), u11:1838);
+    let _ = assert_eq(lfsr11(u11:1838), u11:1628);
+    let _ = assert_eq(lfsr11(u11:1628), u11:1209);
+    let _ = assert_eq(lfsr11(u11:1209), u11:371);
+    let _ = assert_eq(lfsr11(u11:371), u11:743);
+    let _ = assert_eq(lfsr11(u11:743), u11:1486);
+    let _ = assert_eq(lfsr11(u11:1486), u11:924);
+    let _ = assert_eq(lfsr11(u11:924), u11:1849);
+    let _ = assert_eq(lfsr11(u11:1849), u11:1650);
+    let _ = assert_eq(lfsr11(u11:1650), u11:1253);
+    let _ = assert_eq(lfsr11(u11:1253), u11:459);
+    let _ = assert_eq(lfsr11(u11:459), u11:919);
+    let _ = assert_eq(lfsr11(u11:919), u11:1839);
+    let _ = assert_eq(lfsr11(u11:1839), u11:1630);
+    let _ = assert_eq(lfsr11(u11:1630), u11:1213);
+    let _ = assert_eq(lfsr11(u11:1213), u11:379);
+    let _ = assert_eq(lfsr11(u11:379), u11:759);
+    let _ = assert_eq(lfsr11(u11:759), u11:1518);
+    let _ = assert_eq(lfsr11(u11:1518), u11:988);
+    let _ = assert_eq(lfsr11(u11:988), u11:1977);
+    let _ = assert_eq(lfsr11(u11:1977), u11:1906);
+    let _ = assert_eq(lfsr11(u11:1906), u11:1764);
+    let _ = assert_eq(lfsr11(u11:1764), u11:1481);
+    let _ = assert_eq(lfsr11(u11:1481), u11:914);
+    let _ = assert_eq(lfsr11(u11:914), u11:1829);
+    let _ = assert_eq(lfsr11(u11:1829), u11:1610);
+    let _ = assert_eq(lfsr11(u11:1610), u11:1173);
+    let _ = assert_eq(lfsr11(u11:1173), u11:299);
+    let _ = assert_eq(lfsr11(u11:299), u11:599);
+    let _ = assert_eq(lfsr11(u11:599), u11:1198);
+    let _ = assert_eq(lfsr11(u11:1198), u11:349);
+    let _ = assert_eq(lfsr11(u11:349), u11:699);
+    let _ = assert_eq(lfsr11(u11:699), u11:1398);
+    let _ = assert_eq(lfsr11(u11:1398), u11:748);
+    let _ = assert_eq(lfsr11(u11:748), u11:1496);
+    let _ = assert_eq(lfsr11(u11:1496), u11:944);
+    let _ = assert_eq(lfsr11(u11:944), u11:1889);
+    let _ = assert_eq(lfsr11(u11:1889), u11:1730);
+    let _ = assert_eq(lfsr11(u11:1730), u11:1413);
+    let _ = assert_eq(lfsr11(u11:1413), u11:778);
+    let _ = assert_eq(lfsr11(u11:778), u11:1557);
+    let _ = assert_eq(lfsr11(u11:1557), u11:1067);
+    let _ = assert_eq(lfsr11(u11:1067), u11:87);
+    let _ = assert_eq(lfsr11(u11:87), u11:174);
+    let _ = assert_eq(lfsr11(u11:174), u11:348);
+    let _ = assert_eq(lfsr11(u11:348), u11:697);
+    let _ = assert_eq(lfsr11(u11:697), u11:1394);
+    let _ = assert_eq(lfsr11(u11:1394), u11:740);
+    let _ = assert_eq(lfsr11(u11:740), u11:1480);
+    let _ = assert_eq(lfsr11(u11:1480), u11:912);
+    let _ = assert_eq(lfsr11(u11:912), u11:1825);
+    let _ = assert_eq(lfsr11(u11:1825), u11:1602);
+    let _ = assert_eq(lfsr11(u11:1602), u11:1157);
+    let _ = assert_eq(lfsr11(u11:1157), u11:267);
+    let _ = assert_eq(lfsr11(u11:267), u11:535);
+    let _ = assert_eq(lfsr11(u11:535), u11:1070);
+    let _ = assert_eq(lfsr11(u11:1070), u11:93);
+    let _ = assert_eq(lfsr11(u11:93), u11:186);
+    let _ = assert_eq(lfsr11(u11:186), u11:372);
+    let _ = assert_eq(lfsr11(u11:372), u11:745);
+    let _ = assert_eq(lfsr11(u11:745), u11:1490);
+    let _ = assert_eq(lfsr11(u11:1490), u11:932);
+    let _ = assert_eq(lfsr11(u11:932), u11:1865);
+    let _ = assert_eq(lfsr11(u11:1865), u11:1682);
+    let _ = assert_eq(lfsr11(u11:1682), u11:1317);
+    let _ = assert_eq(lfsr11(u11:1317), u11:586);
+    let _ = assert_eq(lfsr11(u11:586), u11:1172);
+    let _ = assert_eq(lfsr11(u11:1172), u11:297);
+    let _ = assert_eq(lfsr11(u11:297), u11:595);
+    let _ = assert_eq(lfsr11(u11:595), u11:1190);
+    let _ = assert_eq(lfsr11(u11:1190), u11:333);
+    let _ = assert_eq(lfsr11(u11:333), u11:667);
+    let _ = assert_eq(lfsr11(u11:667), u11:1334);
+    let _ = assert_eq(lfsr11(u11:1334), u11:620);
+    let _ = assert_eq(lfsr11(u11:620), u11:1240);
+    let _ = assert_eq(lfsr11(u11:1240), u11:433);
+    let _ = assert_eq(lfsr11(u11:433), u11:867);
+    let _ = assert_eq(lfsr11(u11:867), u11:1735);
+    let _ = assert_eq(lfsr11(u11:1735), u11:1423);
+    let _ = assert_eq(lfsr11(u11:1423), u11:798);
+    let _ = assert_eq(lfsr11(u11:798), u11:1597);
+    let _ = assert_eq(lfsr11(u11:1597), u11:1147);
+    let _ = assert_eq(lfsr11(u11:1147), u11:247);
+    let _ = assert_eq(lfsr11(u11:247), u11:494);
+    let _ = assert_eq(lfsr11(u11:494), u11:989);
+    let _ = assert_eq(lfsr11(u11:989), u11:1979);
+    let _ = assert_eq(lfsr11(u11:1979), u11:1910);
+    let _ = assert_eq(lfsr11(u11:1910), u11:1772);
+    let _ = assert_eq(lfsr11(u11:1772), u11:1497);
+    let _ = assert_eq(lfsr11(u11:1497), u11:946);
+    let _ = assert_eq(lfsr11(u11:946), u11:1893);
+    let _ = assert_eq(lfsr11(u11:1893), u11:1738);
+    let _ = assert_eq(lfsr11(u11:1738), u11:1429);
+    let _ = assert_eq(lfsr11(u11:1429), u11:810);
+    let _ = assert_eq(lfsr11(u11:810), u11:1621);
+    let _ = assert_eq(lfsr11(u11:1621), u11:1195);
+    let _ = assert_eq(lfsr11(u11:1195), u11:343);
+    let _ = assert_eq(lfsr11(u11:343), u11:687);
+    let _ = assert_eq(lfsr11(u11:687), u11:1374);
+    let _ = assert_eq(lfsr11(u11:1374), u11:700);
+    let _ = assert_eq(lfsr11(u11:700), u11:1400);
+    let _ = assert_eq(lfsr11(u11:1400), u11:752);
+    let _ = assert_eq(lfsr11(u11:752), u11:1504);
+    let _ = assert_eq(lfsr11(u11:1504), u11:960);
+    let _ = assert_eq(lfsr11(u11:960), u11:1921);
+    let _ = assert_eq(lfsr11(u11:1921), u11:1794);
+    let _ = assert_eq(lfsr11(u11:1794), u11:1540);
+    let _ = assert_eq(lfsr11(u11:1540), u11:1033);
+    let _ = assert_eq(lfsr11(u11:1033), u11:19);
+    let _ = assert_eq(lfsr11(u11:19), u11:38);
+    let _ = assert_eq(lfsr11(u11:38), u11:76);
+    let _ = assert_eq(lfsr11(u11:76), u11:152);
+    let _ = assert_eq(lfsr11(u11:152), u11:304);
+    let _ = assert_eq(lfsr11(u11:304), u11:609);
+    let _ = assert_eq(lfsr11(u11:609), u11:1218);
+    let _ = assert_eq(lfsr11(u11:1218), u11:389);
+    let _ = assert_eq(lfsr11(u11:389), u11:779);
+    let _ = assert_eq(lfsr11(u11:779), u11:1559);
+    let _ = assert_eq(lfsr11(u11:1559), u11:1071);
+    let _ = assert_eq(lfsr11(u11:1071), u11:95);
+    let _ = assert_eq(lfsr11(u11:95), u11:190);
+    let _ = assert_eq(lfsr11(u11:190), u11:380);
+    let _ = assert_eq(lfsr11(u11:380), u11:761);
+    let _ = assert_eq(lfsr11(u11:761), u11:1522);
+    let _ = assert_eq(lfsr11(u11:1522), u11:996);
+    let _ = assert_eq(lfsr11(u11:996), u11:1993);
+    let _ = assert_eq(lfsr11(u11:1993), u11:1938);
+    let _ = assert_eq(lfsr11(u11:1938), u11:1828);
+    let _ = assert_eq(lfsr11(u11:1828), u11:1608);
+    let _ = assert_eq(lfsr11(u11:1608), u11:1169);
+    let _ = assert_eq(lfsr11(u11:1169), u11:291);
+    let _ = assert_eq(lfsr11(u11:291), u11:583);
+    let _ = assert_eq(lfsr11(u11:583), u11:1166);
+    let _ = assert_eq(lfsr11(u11:1166), u11:285);
+    let _ = assert_eq(lfsr11(u11:285), u11:571);
+    let _ = assert_eq(lfsr11(u11:571), u11:1142);
+    let _ = assert_eq(lfsr11(u11:1142), u11:237);
+    let _ = assert_eq(lfsr11(u11:237), u11:474);
+    let _ = assert_eq(lfsr11(u11:474), u11:949);
+    let _ = assert_eq(lfsr11(u11:949), u11:1899);
+    let _ = assert_eq(lfsr11(u11:1899), u11:1750);
+    let _ = assert_eq(lfsr11(u11:1750), u11:1453);
+    let _ = assert_eq(lfsr11(u11:1453), u11:858);
+    let _ = assert_eq(lfsr11(u11:858), u11:1717);
+    let _ = assert_eq(lfsr11(u11:1717), u11:1387);
+    let _ = assert_eq(lfsr11(u11:1387), u11:726);
+    let _ = assert_eq(lfsr11(u11:726), u11:1452);
+    let _ = assert_eq(lfsr11(u11:1452), u11:856);
+    let _ = assert_eq(lfsr11(u11:856), u11:1713);
+    let _ = assert_eq(lfsr11(u11:1713), u11:1379);
+    let _ = assert_eq(lfsr11(u11:1379), u11:710);
+    let _ = assert_eq(lfsr11(u11:710), u11:1420);
+    let _ = assert_eq(lfsr11(u11:1420), u11:792);
+    let _ = assert_eq(lfsr11(u11:792), u11:1585);
+    let _ = assert_eq(lfsr11(u11:1585), u11:1123);
+    let _ = assert_eq(lfsr11(u11:1123), u11:199);
+    let _ = assert_eq(lfsr11(u11:199), u11:398);
+    let _ = assert_eq(lfsr11(u11:398), u11:797);
+    let _ = assert_eq(lfsr11(u11:797), u11:1595);
+    let _ = assert_eq(lfsr11(u11:1595), u11:1143);
+    let _ = assert_eq(lfsr11(u11:1143), u11:239);
+    let _ = assert_eq(lfsr11(u11:239), u11:478);
+    let _ = assert_eq(lfsr11(u11:478), u11:957);
+    let _ = assert_eq(lfsr11(u11:957), u11:1915);
+    let _ = assert_eq(lfsr11(u11:1915), u11:1782);
+    let _ = assert_eq(lfsr11(u11:1782), u11:1517);
+    let _ = assert_eq(lfsr11(u11:1517), u11:986);
+    let _ = assert_eq(lfsr11(u11:986), u11:1973);
+    let _ = assert_eq(lfsr11(u11:1973), u11:1898);
+    let _ = assert_eq(lfsr11(u11:1898), u11:1748);
+    let _ = assert_eq(lfsr11(u11:1748), u11:1449);
+    let _ = assert_eq(lfsr11(u11:1449), u11:850);
+    let _ = assert_eq(lfsr11(u11:850), u11:1701);
+    let _ = assert_eq(lfsr11(u11:1701), u11:1355);
+    let _ = assert_eq(lfsr11(u11:1355), u11:662);
+    let _ = assert_eq(lfsr11(u11:662), u11:1324);
+    let _ = assert_eq(lfsr11(u11:1324), u11:600);
+    let _ = assert_eq(lfsr11(u11:600), u11:1200);
+    let _ = assert_eq(lfsr11(u11:1200), u11:353);
+    let _ = assert_eq(lfsr11(u11:353), u11:707);
+    let _ = assert_eq(lfsr11(u11:707), u11:1414);
+    let _ = assert_eq(lfsr11(u11:1414), u11:780);
+    let _ = assert_eq(lfsr11(u11:780), u11:1561);
+    let _ = assert_eq(lfsr11(u11:1561), u11:1075);
+    let _ = assert_eq(lfsr11(u11:1075), u11:103);
+    let _ = assert_eq(lfsr11(u11:103), u11:206);
+    let _ = assert_eq(lfsr11(u11:206), u11:412);
+    let _ = assert_eq(lfsr11(u11:412), u11:825);
+    let _ = assert_eq(lfsr11(u11:825), u11:1651);
+    let _ = assert_eq(lfsr11(u11:1651), u11:1255);
+    let _ = assert_eq(lfsr11(u11:1255), u11:463);
+    let _ = assert_eq(lfsr11(u11:463), u11:927);
+    let _ = assert_eq(lfsr11(u11:927), u11:1855);
+    let _ = assert_eq(lfsr11(u11:1855), u11:1662);
+    let _ = assert_eq(lfsr11(u11:1662), u11:1277);
+    let _ = assert_eq(lfsr11(u11:1277), u11:507);
+    let _ = assert_eq(lfsr11(u11:507), u11:1015);
+    let _ = assert_eq(lfsr11(u11:1015), u11:2031);
+    let _ = assert_eq(lfsr11(u11:2031), u11:2014);
+    let _ = assert_eq(lfsr11(u11:2014), u11:1980);
+    let _ = assert_eq(lfsr11(u11:1980), u11:1912);
+    let _ = assert_eq(lfsr11(u11:1912), u11:1776);
+    let _ = assert_eq(lfsr11(u11:1776), u11:1505);
+    let _ = assert_eq(lfsr11(u11:1505), u11:962);
+    let _ = assert_eq(lfsr11(u11:962), u11:1925);
+    let _ = assert_eq(lfsr11(u11:1925), u11:1802);
+    let _ = assert_eq(lfsr11(u11:1802), u11:1556);
+    let _ = assert_eq(lfsr11(u11:1556), u11:1065);
+    let _ = assert_eq(lfsr11(u11:1065), u11:83);
+    let _ = assert_eq(lfsr11(u11:83), u11:166);
+    let _ = assert_eq(lfsr11(u11:166), u11:332);
+    let _ = assert_eq(lfsr11(u11:332), u11:665);
+    let _ = assert_eq(lfsr11(u11:665), u11:1330);
+    let _ = assert_eq(lfsr11(u11:1330), u11:612);
+    let _ = assert_eq(lfsr11(u11:612), u11:1224);
+    let _ = assert_eq(lfsr11(u11:1224), u11:401);
+    let _ = assert_eq(lfsr11(u11:401), u11:803);
+    let _ = assert_eq(lfsr11(u11:803), u11:1607);
+    let _ = assert_eq(lfsr11(u11:1607), u11:1167);
+    let _ = assert_eq(lfsr11(u11:1167), u11:287);
+    let _ = assert_eq(lfsr11(u11:287), u11:575);
+    let _ = assert_eq(lfsr11(u11:575), u11:1150);
+    let _ = assert_eq(lfsr11(u11:1150), u11:253);
+    let _ = assert_eq(lfsr11(u11:253), u11:506);
+    let _ = assert_eq(lfsr11(u11:506), u11:1013);
+    let _ = assert_eq(lfsr11(u11:1013), u11:2027);
+    let _ = assert_eq(lfsr11(u11:2027), u11:2006);
+    let _ = assert_eq(lfsr11(u11:2006), u11:1964);
+    let _ = assert_eq(lfsr11(u11:1964), u11:1880);
+    let _ = assert_eq(lfsr11(u11:1880), u11:1712);
+    let _ = assert_eq(lfsr11(u11:1712), u11:1377);
+    let _ = assert_eq(lfsr11(u11:1377), u11:706);
+    let _ = assert_eq(lfsr11(u11:706), u11:1412);
+    let _ = assert_eq(lfsr11(u11:1412), u11:776);
+    let _ = assert_eq(lfsr11(u11:776), u11:1553);
+    let _ = assert_eq(lfsr11(u11:1553), u11:1059);
+    let _ = assert_eq(lfsr11(u11:1059), u11:71);
+    let _ = assert_eq(lfsr11(u11:71), u11:142);
+    let _ = assert_eq(lfsr11(u11:142), u11:284);
+    let _ = assert_eq(lfsr11(u11:284), u11:569);
+    let _ = assert_eq(lfsr11(u11:569), u11:1138);
+    let _ = assert_eq(lfsr11(u11:1138), u11:229);
+    let _ = assert_eq(lfsr11(u11:229), u11:458);
+    let _ = assert_eq(lfsr11(u11:458), u11:917);
+    let _ = assert_eq(lfsr11(u11:917), u11:1835);
+    let _ = assert_eq(lfsr11(u11:1835), u11:1622);
+    let _ = assert_eq(lfsr11(u11:1622), u11:1197);
+    let _ = assert_eq(lfsr11(u11:1197), u11:347);
+    let _ = assert_eq(lfsr11(u11:347), u11:695);
+    let _ = assert_eq(lfsr11(u11:695), u11:1390);
+    let _ = assert_eq(lfsr11(u11:1390), u11:732);
+    let _ = assert_eq(lfsr11(u11:732), u11:1464);
+    let _ = assert_eq(lfsr11(u11:1464), u11:880);
+    let _ = assert_eq(lfsr11(u11:880), u11:1761);
+    let _ = assert_eq(lfsr11(u11:1761), u11:1475);
+    let _ = assert_eq(lfsr11(u11:1475), u11:902);
+    let _ = assert_eq(lfsr11(u11:902), u11:1805);
+    let _ = assert_eq(lfsr11(u11:1805), u11:1562);
+    let _ = assert_eq(lfsr11(u11:1562), u11:1077);
+    let _ = assert_eq(lfsr11(u11:1077), u11:107);
+    let _ = assert_eq(lfsr11(u11:107), u11:214);
+    let _ = assert_eq(lfsr11(u11:214), u11:428);
+    let _ = assert_eq(lfsr11(u11:428), u11:857);
+    let _ = assert_eq(lfsr11(u11:857), u11:1715);
+    let _ = assert_eq(lfsr11(u11:1715), u11:1383);
+    let _ = assert_eq(lfsr11(u11:1383), u11:718);
+    let _ = assert_eq(lfsr11(u11:718), u11:1436);
+    let _ = assert_eq(lfsr11(u11:1436), u11:824);
+    let _ = assert_eq(lfsr11(u11:824), u11:1649);
+    let _ = assert_eq(lfsr11(u11:1649), u11:1251);
+    let _ = assert_eq(lfsr11(u11:1251), u11:455);
+    let _ = assert_eq(lfsr11(u11:455), u11:911);
+    let _ = assert_eq(lfsr11(u11:911), u11:1823);
+    let _ = assert_eq(lfsr11(u11:1823), u11:1598);
+    let _ = assert_eq(lfsr11(u11:1598), u11:1149);
+    let _ = assert_eq(lfsr11(u11:1149), u11:251);
+    let _ = assert_eq(lfsr11(u11:251), u11:502);
+    let _ = assert_eq(lfsr11(u11:502), u11:1005);
+    let _ = assert_eq(lfsr11(u11:1005), u11:2011);
+    let _ = assert_eq(lfsr11(u11:2011), u11:1974);
+    let _ = assert_eq(lfsr11(u11:1974), u11:1900);
+    let _ = assert_eq(lfsr11(u11:1900), u11:1752);
+    let _ = assert_eq(lfsr11(u11:1752), u11:1457);
+    let _ = assert_eq(lfsr11(u11:1457), u11:866);
+    let _ = assert_eq(lfsr11(u11:866), u11:1733);
+    let _ = assert_eq(lfsr11(u11:1733), u11:1419);
+    let _ = assert_eq(lfsr11(u11:1419), u11:790);
+    let _ = assert_eq(lfsr11(u11:790), u11:1581);
+    let _ = assert_eq(lfsr11(u11:1581), u11:1115);
+    let _ = assert_eq(lfsr11(u11:1115), u11:183);
+    let _ = assert_eq(lfsr11(u11:183), u11:366);
+    let _ = assert_eq(lfsr11(u11:366), u11:733);
+    let _ = assert_eq(lfsr11(u11:733), u11:1466);
+    let _ = assert_eq(lfsr11(u11:1466), u11:884);
+    let _ = assert_eq(lfsr11(u11:884), u11:1769);
+    let _ = assert_eq(lfsr11(u11:1769), u11:1491);
+    let _ = assert_eq(lfsr11(u11:1491), u11:934);
+    let _ = assert_eq(lfsr11(u11:934), u11:1869);
+    let _ = assert_eq(lfsr11(u11:1869), u11:1690);
+    let _ = assert_eq(lfsr11(u11:1690), u11:1333);
+    let _ = assert_eq(lfsr11(u11:1333), u11:618);
+    let _ = assert_eq(lfsr11(u11:618), u11:1236);
+    let _ = assert_eq(lfsr11(u11:1236), u11:425);
+    let _ = assert_eq(lfsr11(u11:425), u11:851);
+    let _ = assert_eq(lfsr11(u11:851), u11:1703);
+    let _ = assert_eq(lfsr11(u11:1703), u11:1359);
+    let _ = assert_eq(lfsr11(u11:1359), u11:670);
+    let _ = assert_eq(lfsr11(u11:670), u11:1340);
+    let _ = assert_eq(lfsr11(u11:1340), u11:632);
+    let _ = assert_eq(lfsr11(u11:632), u11:1264);
+    let _ = assert_eq(lfsr11(u11:1264), u11:481);
+    let _ = assert_eq(lfsr11(u11:481), u11:963);
+    let _ = assert_eq(lfsr11(u11:963), u11:1927);
+    let _ = assert_eq(lfsr11(u11:1927), u11:1806);
+    let _ = assert_eq(lfsr11(u11:1806), u11:1564);
+    let _ = assert_eq(lfsr11(u11:1564), u11:1081);
+    let _ = assert_eq(lfsr11(u11:1081), u11:115);
+    let _ = assert_eq(lfsr11(u11:115), u11:230);
+    let _ = assert_eq(lfsr11(u11:230), u11:460);
+    let _ = assert_eq(lfsr11(u11:460), u11:921);
+    let _ = assert_eq(lfsr11(u11:921), u11:1843);
+    let _ = assert_eq(lfsr11(u11:1843), u11:1638);
+    let _ = assert_eq(lfsr11(u11:1638), u11:1229);
+    let _ = assert_eq(lfsr11(u11:1229), u11:411);
+    let _ = assert_eq(lfsr11(u11:411), u11:823);
+    let _ = assert_eq(lfsr11(u11:823), u11:1647);
+    let _ = assert_eq(lfsr11(u11:1647), u11:1247);
+    let _ = assert_eq(lfsr11(u11:1247), u11:447);
+    let _ = assert_eq(lfsr11(u11:447), u11:895);
+    let _ = assert_eq(lfsr11(u11:895), u11:1791);
+    let _ = assert_eq(lfsr11(u11:1791), u11:1535);
+    let _ = assert_eq(lfsr11(u11:1535), u11:1022);
+    let _ = assert_eq(lfsr11(u11:1022), u11:2045);
+    let _ = assert_eq(lfsr11(u11:2045), u11:2042);
+    let _ = assert_eq(lfsr11(u11:2042), u11:2036);
+    let _ = assert_eq(lfsr11(u11:2036), u11:2024);
+    let _ = assert_eq(lfsr11(u11:2024), u11:2000);
+    let _ = assert_eq(lfsr11(u11:2000), u11:1952);
+    let _ = assert_eq(lfsr11(u11:1952), u11:1856);
+    let _ = assert_eq(lfsr11(u11:1856), u11:1664);
+    let _ = assert_eq(lfsr11(u11:1664), u11:1281);
+    let _ = assert_eq(lfsr11(u11:1281), u11:514);
+    let _ = assert_eq(lfsr11(u11:514), u11:1028);
+    let _ = assert_eq(lfsr11(u11:1028), u11:9);
+    let _ = assert_eq(lfsr11(u11:9), u11:18);
+    let _ = assert_eq(lfsr11(u11:18), u11:36);
+    let _ = assert_eq(lfsr11(u11:36), u11:72);
+    let _ = assert_eq(lfsr11(u11:72), u11:144);
+    let _ = assert_eq(lfsr11(u11:144), u11:288);
+    let _ = assert_eq(lfsr11(u11:288), u11:577);
+    let _ = assert_eq(lfsr11(u11:577), u11:1154);
+    let _ = assert_eq(lfsr11(u11:1154), u11:261);
+    let _ = assert_eq(lfsr11(u11:261), u11:523);
+    let _ = assert_eq(lfsr11(u11:523), u11:1046);
+    let _ = assert_eq(lfsr11(u11:1046), u11:45);
+    let _ = assert_eq(lfsr11(u11:45), u11:90);
+    let _ = assert_eq(lfsr11(u11:90), u11:180);
+    let _ = assert_eq(lfsr11(u11:180), u11:360);
+    let _ = assert_eq(lfsr11(u11:360), u11:721);
+    let _ = assert_eq(lfsr11(u11:721), u11:1442);
+    let _ = assert_eq(lfsr11(u11:1442), u11:836);
+    let _ = assert_eq(lfsr11(u11:836), u11:1673);
+    let _ = assert_eq(lfsr11(u11:1673), u11:1299);
+    let _ = assert_eq(lfsr11(u11:1299), u11:550);
+    let _ = assert_eq(lfsr11(u11:550), u11:1100);
+    let _ = assert_eq(lfsr11(u11:1100), u11:153);
+    let _ = assert_eq(lfsr11(u11:153), u11:306);
+    let _ = assert_eq(lfsr11(u11:306), u11:613);
+    let _ = assert_eq(lfsr11(u11:613), u11:1226);
+    let _ = assert_eq(lfsr11(u11:1226), u11:405);
+    let _ = assert_eq(lfsr11(u11:405), u11:811);
+    let _ = assert_eq(lfsr11(u11:811), u11:1623);
+    let _ = assert_eq(lfsr11(u11:1623), u11:1199);
+    let _ = assert_eq(lfsr11(u11:1199), u11:351);
+    let _ = assert_eq(lfsr11(u11:351), u11:703);
+    let _ = assert_eq(lfsr11(u11:703), u11:1406);
+    let _ = assert_eq(lfsr11(u11:1406), u11:764);
+    let _ = assert_eq(lfsr11(u11:764), u11:1528);
+    let _ = assert_eq(lfsr11(u11:1528), u11:1008);
+    let _ = assert_eq(lfsr11(u11:1008), u11:2017);
+    let _ = assert_eq(lfsr11(u11:2017), u11:1986);
+    let _ = assert_eq(lfsr11(u11:1986), u11:1924);
+    let _ = assert_eq(lfsr11(u11:1924), u11:1800);
+    let _ = assert_eq(lfsr11(u11:1800), u11:1552);
+    let _ = assert_eq(lfsr11(u11:1552), u11:1057);
+    let _ = assert_eq(lfsr11(u11:1057), u11:67);
+    let _ = assert_eq(lfsr11(u11:67), u11:134);
+    let _ = assert_eq(lfsr11(u11:134), u11:268);
+    let _ = assert_eq(lfsr11(u11:268), u11:537);
+    let _ = assert_eq(lfsr11(u11:537), u11:1074);
+    let _ = assert_eq(lfsr11(u11:1074), u11:101);
+    let _ = assert_eq(lfsr11(u11:101), u11:202);
+    let _ = assert_eq(lfsr11(u11:202), u11:404);
+    let _ = assert_eq(lfsr11(u11:404), u11:809);
+    let _ = assert_eq(lfsr11(u11:809), u11:1619);
+    let _ = assert_eq(lfsr11(u11:1619), u11:1191);
+    let _ = assert_eq(lfsr11(u11:1191), u11:335);
+    let _ = assert_eq(lfsr11(u11:335), u11:671);
+    let _ = assert_eq(lfsr11(u11:671), u11:1342);
+    let _ = assert_eq(lfsr11(u11:1342), u11:636);
+    let _ = assert_eq(lfsr11(u11:636), u11:1272);
+    let _ = assert_eq(lfsr11(u11:1272), u11:497);
+    let _ = assert_eq(lfsr11(u11:497), u11:995);
+    let _ = assert_eq(lfsr11(u11:995), u11:1991);
+    let _ = assert_eq(lfsr11(u11:1991), u11:1934);
+    let _ = assert_eq(lfsr11(u11:1934), u11:1820);
+    let _ = assert_eq(lfsr11(u11:1820), u11:1592);
+    let _ = assert_eq(lfsr11(u11:1592), u11:1137);
+    let _ = assert_eq(lfsr11(u11:1137), u11:227);
+    let _ = assert_eq(lfsr11(u11:227), u11:454);
+    let _ = assert_eq(lfsr11(u11:454), u11:909);
+    let _ = assert_eq(lfsr11(u11:909), u11:1819);
+    let _ = assert_eq(lfsr11(u11:1819), u11:1590);
+    let _ = assert_eq(lfsr11(u11:1590), u11:1133);
+    let _ = assert_eq(lfsr11(u11:1133), u11:219);
+    let _ = assert_eq(lfsr11(u11:219), u11:438);
+    let _ = assert_eq(lfsr11(u11:438), u11:877);
+    let _ = assert_eq(lfsr11(u11:877), u11:1755);
+    let _ = assert_eq(lfsr11(u11:1755), u11:1463);
+    let _ = assert_eq(lfsr11(u11:1463), u11:878);
+    let _ = assert_eq(lfsr11(u11:878), u11:1757);
+    let _ = assert_eq(lfsr11(u11:1757), u11:1467);
+    let _ = assert_eq(lfsr11(u11:1467), u11:886);
+    let _ = assert_eq(lfsr11(u11:886), u11:1773);
+    let _ = assert_eq(lfsr11(u11:1773), u11:1499);
+    let _ = assert_eq(lfsr11(u11:1499), u11:950);
+    let _ = assert_eq(lfsr11(u11:950), u11:1901);
+    let _ = assert_eq(lfsr11(u11:1901), u11:1754);
+    let _ = assert_eq(lfsr11(u11:1754), u11:1461);
+    let _ = assert_eq(lfsr11(u11:1461), u11:874);
+    let _ = assert_eq(lfsr11(u11:874), u11:1749);
+    let _ = assert_eq(lfsr11(u11:1749), u11:1451);
+    let _ = assert_eq(lfsr11(u11:1451), u11:854);
+    let _ = assert_eq(lfsr11(u11:854), u11:1709);
+    let _ = assert_eq(lfsr11(u11:1709), u11:1371);
+    let _ = assert_eq(lfsr11(u11:1371), u11:694);
+    let _ = assert_eq(lfsr11(u11:694), u11:1388);
+    let _ = assert_eq(lfsr11(u11:1388), u11:728);
+    let _ = assert_eq(lfsr11(u11:728), u11:1456);
+    let _ = assert_eq(lfsr11(u11:1456), u11:864);
+    let _ = assert_eq(lfsr11(u11:864), u11:1729);
+    let _ = assert_eq(lfsr11(u11:1729), u11:1411);
+    let _ = assert_eq(lfsr11(u11:1411), u11:774);
+    let _ = assert_eq(lfsr11(u11:774), u11:1549);
+    let _ = assert_eq(lfsr11(u11:1549), u11:1051);
+    let _ = assert_eq(lfsr11(u11:1051), u11:55);
+    let _ = assert_eq(lfsr11(u11:55), u11:110);
+    let _ = assert_eq(lfsr11(u11:110), u11:220);
+    let _ = assert_eq(lfsr11(u11:220), u11:440);
+    let _ = assert_eq(lfsr11(u11:440), u11:881);
+    let _ = assert_eq(lfsr11(u11:881), u11:1763);
+    let _ = assert_eq(lfsr11(u11:1763), u11:1479);
+    let _ = assert_eq(lfsr11(u11:1479), u11:910);
+    let _ = assert_eq(lfsr11(u11:910), u11:1821);
+    let _ = assert_eq(lfsr11(u11:1821), u11:1594);
+    let _ = assert_eq(lfsr11(u11:1594), u11:1141);
+    let _ = assert_eq(lfsr11(u11:1141), u11:235);
+    let _ = assert_eq(lfsr11(u11:235), u11:470);
+    let _ = assert_eq(lfsr11(u11:470), u11:941);
+    let _ = assert_eq(lfsr11(u11:941), u11:1883);
+    let _ = assert_eq(lfsr11(u11:1883), u11:1718);
+    let _ = assert_eq(lfsr11(u11:1718), u11:1389);
+    let _ = assert_eq(lfsr11(u11:1389), u11:730);
+    let _ = assert_eq(lfsr11(u11:730), u11:1460);
+    let _ = assert_eq(lfsr11(u11:1460), u11:872);
+    let _ = assert_eq(lfsr11(u11:872), u11:1745);
+    let _ = assert_eq(lfsr11(u11:1745), u11:1443);
+    let _ = assert_eq(lfsr11(u11:1443), u11:838);
+    let _ = assert_eq(lfsr11(u11:838), u11:1677);
+    let _ = assert_eq(lfsr11(u11:1677), u11:1307);
+    let _ = assert_eq(lfsr11(u11:1307), u11:566);
+    let _ = assert_eq(lfsr11(u11:566), u11:1132);
+    let _ = assert_eq(lfsr11(u11:1132), u11:217);
+    let _ = assert_eq(lfsr11(u11:217), u11:434);
+    let _ = assert_eq(lfsr11(u11:434), u11:869);
+    let _ = assert_eq(lfsr11(u11:869), u11:1739);
+    let _ = assert_eq(lfsr11(u11:1739), u11:1431);
+    let _ = assert_eq(lfsr11(u11:1431), u11:814);
+    let _ = assert_eq(lfsr11(u11:814), u11:1629);
+    let _ = assert_eq(lfsr11(u11:1629), u11:1211);
+    let _ = assert_eq(lfsr11(u11:1211), u11:375);
+    let _ = assert_eq(lfsr11(u11:375), u11:751);
+    let _ = assert_eq(lfsr11(u11:751), u11:1502);
+    let _ = assert_eq(lfsr11(u11:1502), u11:956);
+    let _ = assert_eq(lfsr11(u11:956), u11:1913);
+    let _ = assert_eq(lfsr11(u11:1913), u11:1778);
+    let _ = assert_eq(lfsr11(u11:1778), u11:1509);
+    let _ = assert_eq(lfsr11(u11:1509), u11:970);
+    let _ = assert_eq(lfsr11(u11:970), u11:1941);
+    let _ = assert_eq(lfsr11(u11:1941), u11:1834);
+    let _ = assert_eq(lfsr11(u11:1834), u11:1620);
+    let _ = assert_eq(lfsr11(u11:1620), u11:1193);
+    let _ = assert_eq(lfsr11(u11:1193), u11:339);
+    let _ = assert_eq(lfsr11(u11:339), u11:679);
+    let _ = assert_eq(lfsr11(u11:679), u11:1358);
+    let _ = assert_eq(lfsr11(u11:1358), u11:668);
+    let _ = assert_eq(lfsr11(u11:668), u11:1336);
+    let _ = assert_eq(lfsr11(u11:1336), u11:624);
+    let _ = assert_eq(lfsr11(u11:624), u11:1248);
+    let _ = assert_eq(lfsr11(u11:1248), u11:449);
+    let _ = assert_eq(lfsr11(u11:449), u11:899);
+    let _ = assert_eq(lfsr11(u11:899), u11:1799);
+    let _ = assert_eq(lfsr11(u11:1799), u11:1550);
+    let _ = assert_eq(lfsr11(u11:1550), u11:1053);
+    let _ = assert_eq(lfsr11(u11:1053), u11:59);
+    let _ = assert_eq(lfsr11(u11:59), u11:118);
+    let _ = assert_eq(lfsr11(u11:118), u11:236);
+    let _ = assert_eq(lfsr11(u11:236), u11:472);
+    let _ = assert_eq(lfsr11(u11:472), u11:945);
+    let _ = assert_eq(lfsr11(u11:945), u11:1891);
+    let _ = assert_eq(lfsr11(u11:1891), u11:1734);
+    let _ = assert_eq(lfsr11(u11:1734), u11:1421);
+    let _ = assert_eq(lfsr11(u11:1421), u11:794);
+    let _ = assert_eq(lfsr11(u11:794), u11:1589);
+    let _ = assert_eq(lfsr11(u11:1589), u11:1131);
+    let _ = assert_eq(lfsr11(u11:1131), u11:215);
+    let _ = assert_eq(lfsr11(u11:215), u11:430);
+    let _ = assert_eq(lfsr11(u11:430), u11:861);
+    let _ = assert_eq(lfsr11(u11:861), u11:1723);
+    let _ = assert_eq(lfsr11(u11:1723), u11:1399);
+    let _ = assert_eq(lfsr11(u11:1399), u11:750);
+    let _ = assert_eq(lfsr11(u11:750), u11:1500);
+    let _ = assert_eq(lfsr11(u11:1500), u11:952);
+    let _ = assert_eq(lfsr11(u11:952), u11:1905);
+    let _ = assert_eq(lfsr11(u11:1905), u11:1762);
+    let _ = assert_eq(lfsr11(u11:1762), u11:1477);
+    let _ = assert_eq(lfsr11(u11:1477), u11:906);
+    let _ = assert_eq(lfsr11(u11:906), u11:1813);
+    let _ = assert_eq(lfsr11(u11:1813), u11:1578);
+    let _ = assert_eq(lfsr11(u11:1578), u11:1109);
+    let _ = assert_eq(lfsr11(u11:1109), u11:171);
+    let _ = assert_eq(lfsr11(u11:171), u11:342);
+    let _ = assert_eq(lfsr11(u11:342), u11:685);
+    let _ = assert_eq(lfsr11(u11:685), u11:1370);
+    let _ = assert_eq(lfsr11(u11:1370), u11:692);
+    let _ = assert_eq(lfsr11(u11:692), u11:1384);
+    let _ = assert_eq(lfsr11(u11:1384), u11:720);
+    let _ = assert_eq(lfsr11(u11:720), u11:1440);
+    let _ = assert_eq(lfsr11(u11:1440), u11:832);
+    let _ = assert_eq(lfsr11(u11:832), u11:1665);
+    let _ = assert_eq(lfsr11(u11:1665), u11:1283);
+    let _ = assert_eq(lfsr11(u11:1283), u11:518);
+    let _ = assert_eq(lfsr11(u11:518), u11:1036);
+    let _ = assert_eq(lfsr11(u11:1036), u11:25);
+    let _ = assert_eq(lfsr11(u11:25), u11:50);
+    let _ = assert_eq(lfsr11(u11:50), u11:100);
+    let _ = assert_eq(lfsr11(u11:100), u11:200);
+    let _ = assert_eq(lfsr11(u11:200), u11:400);
+    let _ = assert_eq(lfsr11(u11:400), u11:801);
+    let _ = assert_eq(lfsr11(u11:801), u11:1603);
+    let _ = assert_eq(lfsr11(u11:1603), u11:1159);
+    let _ = assert_eq(lfsr11(u11:1159), u11:271);
+    let _ = assert_eq(lfsr11(u11:271), u11:543);
+    let _ = assert_eq(lfsr11(u11:543), u11:1086);
+    let _ = assert_eq(lfsr11(u11:1086), u11:125);
+    let _ = assert_eq(lfsr11(u11:125), u11:250);
+    let _ = assert_eq(lfsr11(u11:250), u11:500);
+    let _ = assert_eq(lfsr11(u11:500), u11:1001);
+    let _ = assert_eq(lfsr11(u11:1001), u11:2003);
+    let _ = assert_eq(lfsr11(u11:2003), u11:1958);
+    let _ = assert_eq(lfsr11(u11:1958), u11:1868);
+    let _ = assert_eq(lfsr11(u11:1868), u11:1688);
+    let _ = assert_eq(lfsr11(u11:1688), u11:1329);
+    let _ = assert_eq(lfsr11(u11:1329), u11:610);
+    let _ = assert_eq(lfsr11(u11:610), u11:1220);
+    let _ = assert_eq(lfsr11(u11:1220), u11:393);
+    let _ = assert_eq(lfsr11(u11:393), u11:787);
+    let _ = assert_eq(lfsr11(u11:787), u11:1575);
+    let _ = assert_eq(lfsr11(u11:1575), u11:1103);
+    let _ = assert_eq(lfsr11(u11:1103), u11:159);
+    let _ = assert_eq(lfsr11(u11:159), u11:318);
+    let _ = assert_eq(lfsr11(u11:318), u11:637);
+    let _ = assert_eq(lfsr11(u11:637), u11:1274);
+    let _ = assert_eq(lfsr11(u11:1274), u11:501);
+    let _ = assert_eq(lfsr11(u11:501), u11:1003);
+    let _ = assert_eq(lfsr11(u11:1003), u11:2007);
+    let _ = assert_eq(lfsr11(u11:2007), u11:1966);
+    let _ = assert_eq(lfsr11(u11:1966), u11:1884);
+    let _ = assert_eq(lfsr11(u11:1884), u11:1720);
+    let _ = assert_eq(lfsr11(u11:1720), u11:1393);
+    let _ = assert_eq(lfsr11(u11:1393), u11:738);
+    let _ = assert_eq(lfsr11(u11:738), u11:1476);
+    let _ = assert_eq(lfsr11(u11:1476), u11:904);
+    let _ = assert_eq(lfsr11(u11:904), u11:1809);
+    let _ = assert_eq(lfsr11(u11:1809), u11:1570);
+    let _ = assert_eq(lfsr11(u11:1570), u11:1093);
+    let _ = assert_eq(lfsr11(u11:1093), u11:139);
+    let _ = assert_eq(lfsr11(u11:139), u11:278);
+    let _ = assert_eq(lfsr11(u11:278), u11:557);
+    let _ = assert_eq(lfsr11(u11:557), u11:1114);
+    let _ = assert_eq(lfsr11(u11:1114), u11:181);
+    let _ = assert_eq(lfsr11(u11:181), u11:362);
+    let _ = assert_eq(lfsr11(u11:362), u11:725);
+    let _ = assert_eq(lfsr11(u11:725), u11:1450);
+    let _ = assert_eq(lfsr11(u11:1450), u11:852);
+    let _ = assert_eq(lfsr11(u11:852), u11:1705);
+    let _ = assert_eq(lfsr11(u11:1705), u11:1363);
+    let _ = assert_eq(lfsr11(u11:1363), u11:678);
+    let _ = assert_eq(lfsr11(u11:678), u11:1356);
+    let _ = assert_eq(lfsr11(u11:1356), u11:664);
+    let _ = assert_eq(lfsr11(u11:664), u11:1328);
+    let _ = assert_eq(lfsr11(u11:1328), u11:608);
+    let _ = assert_eq(lfsr11(u11:608), u11:1216);
+    let _ = assert_eq(lfsr11(u11:1216), u11:385);
+    let _ = assert_eq(lfsr11(u11:385), u11:771);
+    let _ = assert_eq(lfsr11(u11:771), u11:1543);
+    let _ = assert_eq(lfsr11(u11:1543), u11:1039);
+    let _ = assert_eq(lfsr11(u11:1039), u11:31);
+    let _ = assert_eq(lfsr11(u11:31), u11:62);
+    let _ = assert_eq(lfsr11(u11:62), u11:124);
+    let _ = assert_eq(lfsr11(u11:124), u11:248);
+    let _ = assert_eq(lfsr11(u11:248), u11:496);
+    let _ = assert_eq(lfsr11(u11:496), u11:993);
+    let _ = assert_eq(lfsr11(u11:993), u11:1987);
+    let _ = assert_eq(lfsr11(u11:1987), u11:1926);
+    let _ = assert_eq(lfsr11(u11:1926), u11:1804);
+    let _ = assert_eq(lfsr11(u11:1804), u11:1560);
+    let _ = assert_eq(lfsr11(u11:1560), u11:1073);
+    let _ = assert_eq(lfsr11(u11:1073), u11:99);
+    let _ = assert_eq(lfsr11(u11:99), u11:198);
+    let _ = assert_eq(lfsr11(u11:198), u11:396);
+    let _ = assert_eq(lfsr11(u11:396), u11:793);
+    let _ = assert_eq(lfsr11(u11:793), u11:1587);
+    let _ = assert_eq(lfsr11(u11:1587), u11:1127);
+    let _ = assert_eq(lfsr11(u11:1127), u11:207);
+    let _ = assert_eq(lfsr11(u11:207), u11:414);
+    let _ = assert_eq(lfsr11(u11:414), u11:829);
+    let _ = assert_eq(lfsr11(u11:829), u11:1659);
+    let _ = assert_eq(lfsr11(u11:1659), u11:1271);
+    let _ = assert_eq(lfsr11(u11:1271), u11:495);
+    let _ = assert_eq(lfsr11(u11:495), u11:991);
+    let _ = assert_eq(lfsr11(u11:991), u11:1983);
+    let _ = assert_eq(lfsr11(u11:1983), u11:1918);
+    let _ = assert_eq(lfsr11(u11:1918), u11:1788);
+    let _ = assert_eq(lfsr11(u11:1788), u11:1529);
+    let _ = assert_eq(lfsr11(u11:1529), u11:1010);
+    let _ = assert_eq(lfsr11(u11:1010), u11:2021);
+    let _ = assert_eq(lfsr11(u11:2021), u11:1994);
+    let _ = assert_eq(lfsr11(u11:1994), u11:1940);
+    let _ = assert_eq(lfsr11(u11:1940), u11:1832);
+    let _ = assert_eq(lfsr11(u11:1832), u11:1616);
+    let _ = assert_eq(lfsr11(u11:1616), u11:1185);
+    let _ = assert_eq(lfsr11(u11:1185), u11:323);
+    let _ = assert_eq(lfsr11(u11:323), u11:647);
+    let _ = assert_eq(lfsr11(u11:647), u11:1294);
+    let _ = assert_eq(lfsr11(u11:1294), u11:540);
+    let _ = assert_eq(lfsr11(u11:540), u11:1080);
+    let _ = assert_eq(lfsr11(u11:1080), u11:113);
+    let _ = assert_eq(lfsr11(u11:113), u11:226);
+    let _ = assert_eq(lfsr11(u11:226), u11:452);
+    let _ = assert_eq(lfsr11(u11:452), u11:905);
+    let _ = assert_eq(lfsr11(u11:905), u11:1811);
+    let _ = assert_eq(lfsr11(u11:1811), u11:1574);
+    let _ = assert_eq(lfsr11(u11:1574), u11:1101);
+    let _ = assert_eq(lfsr11(u11:1101), u11:155);
+    let _ = assert_eq(lfsr11(u11:155), u11:310);
+    let _ = assert_eq(lfsr11(u11:310), u11:621);
+    let _ = assert_eq(lfsr11(u11:621), u11:1242);
+    let _ = assert_eq(lfsr11(u11:1242), u11:437);
+    let _ = assert_eq(lfsr11(u11:437), u11:875);
+    let _ = assert_eq(lfsr11(u11:875), u11:1751);
+    let _ = assert_eq(lfsr11(u11:1751), u11:1455);
+    let _ = assert_eq(lfsr11(u11:1455), u11:862);
+    let _ = assert_eq(lfsr11(u11:862), u11:1725);
+    let _ = assert_eq(lfsr11(u11:1725), u11:1403);
+    let _ = assert_eq(lfsr11(u11:1403), u11:758);
+    let _ = assert_eq(lfsr11(u11:758), u11:1516);
+    let _ = assert_eq(lfsr11(u11:1516), u11:984);
+    let _ = assert_eq(lfsr11(u11:984), u11:1969);
+    let _ = assert_eq(lfsr11(u11:1969), u11:1890);
+    let _ = assert_eq(lfsr11(u11:1890), u11:1732);
+    let _ = assert_eq(lfsr11(u11:1732), u11:1417);
+    let _ = assert_eq(lfsr11(u11:1417), u11:786);
+    let _ = assert_eq(lfsr11(u11:786), u11:1573);
+    let _ = assert_eq(lfsr11(u11:1573), u11:1099);
+    let _ = assert_eq(lfsr11(u11:1099), u11:151);
+    let _ = assert_eq(lfsr11(u11:151), u11:302);
+    let _ = assert_eq(lfsr11(u11:302), u11:605);
+    let _ = assert_eq(lfsr11(u11:605), u11:1210);
+    let _ = assert_eq(lfsr11(u11:1210), u11:373);
+    let _ = assert_eq(lfsr11(u11:373), u11:747);
+    let _ = assert_eq(lfsr11(u11:747), u11:1494);
+    let _ = assert_eq(lfsr11(u11:1494), u11:940);
+    let _ = assert_eq(lfsr11(u11:940), u11:1881);
+    let _ = assert_eq(lfsr11(u11:1881), u11:1714);
+    let _ = assert_eq(lfsr11(u11:1714), u11:1381);
+    let _ = assert_eq(lfsr11(u11:1381), u11:714);
+    let _ = assert_eq(lfsr11(u11:714), u11:1428);
+    let _ = assert_eq(lfsr11(u11:1428), u11:808);
+    let _ = assert_eq(lfsr11(u11:808), u11:1617);
+    let _ = assert_eq(lfsr11(u11:1617), u11:1187);
+    let _ = assert_eq(lfsr11(u11:1187), u11:327);
+    let _ = assert_eq(lfsr11(u11:327), u11:655);
+    let _ = assert_eq(lfsr11(u11:655), u11:1310);
+    let _ = assert_eq(lfsr11(u11:1310), u11:572);
+    let _ = assert_eq(lfsr11(u11:572), u11:1144);
+    let _ = assert_eq(lfsr11(u11:1144), u11:241);
+    let _ = assert_eq(lfsr11(u11:241), u11:482);
+    let _ = assert_eq(lfsr11(u11:482), u11:965);
+    let _ = assert_eq(lfsr11(u11:965), u11:1931);
+    let _ = assert_eq(lfsr11(u11:1931), u11:1814);
+    let _ = assert_eq(lfsr11(u11:1814), u11:1580);
+    let _ = assert_eq(lfsr11(u11:1580), u11:1113);
+    let _ = assert_eq(lfsr11(u11:1113), u11:179);
+    let _ = assert_eq(lfsr11(u11:179), u11:358);
+    let _ = assert_eq(lfsr11(u11:358), u11:717);
+    let _ = assert_eq(lfsr11(u11:717), u11:1434);
+    let _ = assert_eq(lfsr11(u11:1434), u11:820);
+    let _ = assert_eq(lfsr11(u11:820), u11:1641);
+    let _ = assert_eq(lfsr11(u11:1641), u11:1235);
+    let _ = assert_eq(lfsr11(u11:1235), u11:423);
+    let _ = assert_eq(lfsr11(u11:423), u11:847);
+    let _ = assert_eq(lfsr11(u11:847), u11:1695);
+    let _ = assert_eq(lfsr11(u11:1695), u11:1343);
+    let _ = assert_eq(lfsr11(u11:1343), u11:638);
+    let _ = assert_eq(lfsr11(u11:638), u11:1276);
+    let _ = assert_eq(lfsr11(u11:1276), u11:505);
+    let _ = assert_eq(lfsr11(u11:505), u11:1011);
+    let _ = assert_eq(lfsr11(u11:1011), u11:2023);
+    let _ = assert_eq(lfsr11(u11:2023), u11:1998);
+    let _ = assert_eq(lfsr11(u11:1998), u11:1948);
+    let _ = assert_eq(lfsr11(u11:1948), u11:1848);
+    let _ = assert_eq(lfsr11(u11:1848), u11:1648);
+    let _ = assert_eq(lfsr11(u11:1648), u11:1249);
+    let _ = assert_eq(lfsr11(u11:1249), u11:451);
+    let _ = assert_eq(lfsr11(u11:451), u11:903);
+    let _ = assert_eq(lfsr11(u11:903), u11:1807);
+    let _ = assert_eq(lfsr11(u11:1807), u11:1566);
+    let _ = assert_eq(lfsr11(u11:1566), u11:1085);
+    let _ = assert_eq(lfsr11(u11:1085), u11:123);
+    let _ = assert_eq(lfsr11(u11:123), u11:246);
+    let _ = assert_eq(lfsr11(u11:246), u11:492);
+    let _ = assert_eq(lfsr11(u11:492), u11:985);
+    let _ = assert_eq(lfsr11(u11:985), u11:1971);
+    let _ = assert_eq(lfsr11(u11:1971), u11:1894);
+    let _ = assert_eq(lfsr11(u11:1894), u11:1740);
+    let _ = assert_eq(lfsr11(u11:1740), u11:1433);
+    let _ = assert_eq(lfsr11(u11:1433), u11:818);
+    let _ = assert_eq(lfsr11(u11:818), u11:1637);
+    let _ = assert_eq(lfsr11(u11:1637), u11:1227);
+    let _ = assert_eq(lfsr11(u11:1227), u11:407);
+    let _ = assert_eq(lfsr11(u11:407), u11:815);
+    let _ = assert_eq(lfsr11(u11:815), u11:1631);
+    let _ = assert_eq(lfsr11(u11:1631), u11:1215);
+    let _ = assert_eq(lfsr11(u11:1215), u11:383);
+    let _ = assert_eq(lfsr11(u11:383), u11:767);
+    let _ = assert_eq(lfsr11(u11:767), u11:1534);
+    let _ = assert_eq(lfsr11(u11:1534), u11:1020);
+    let _ = assert_eq(lfsr11(u11:1020), u11:2041);
+    let _ = assert_eq(lfsr11(u11:2041), u11:2034);
+    let _ = assert_eq(lfsr11(u11:2034), u11:2020);
+    let _ = assert_eq(lfsr11(u11:2020), u11:1992);
+    let _ = assert_eq(lfsr11(u11:1992), u11:1936);
+    let _ = assert_eq(lfsr11(u11:1936), u11:1824);
+    let _ = assert_eq(lfsr11(u11:1824), u11:1600);
+    let _ = assert_eq(lfsr11(u11:1600), u11:1153);
+    let _ = assert_eq(lfsr11(u11:1153), u11:259);
+    let _ = assert_eq(lfsr11(u11:259), u11:519);
+    let _ = assert_eq(lfsr11(u11:519), u11:1038);
+    let _ = assert_eq(lfsr11(u11:1038), u11:29);
+    let _ = assert_eq(lfsr11(u11:29), u11:58);
+    let _ = assert_eq(lfsr11(u11:58), u11:116);
+    let _ = assert_eq(lfsr11(u11:116), u11:232);
+    let _ = assert_eq(lfsr11(u11:232), u11:464);
+    let _ = assert_eq(lfsr11(u11:464), u11:929);
+    let _ = assert_eq(lfsr11(u11:929), u11:1859);
+    let _ = assert_eq(lfsr11(u11:1859), u11:1670);
+    let _ = assert_eq(lfsr11(u11:1670), u11:1293);
+    let _ = assert_eq(lfsr11(u11:1293), u11:538);
+    let _ = assert_eq(lfsr11(u11:538), u11:1076);
+    let _ = assert_eq(lfsr11(u11:1076), u11:105);
+    let _ = assert_eq(lfsr11(u11:105), u11:210);
+    let _ = assert_eq(lfsr11(u11:210), u11:420);
+    let _ = assert_eq(lfsr11(u11:420), u11:841);
+    let _ = assert_eq(lfsr11(u11:841), u11:1683);
+    let _ = assert_eq(lfsr11(u11:1683), u11:1319);
+    let _ = assert_eq(lfsr11(u11:1319), u11:590);
+    let _ = assert_eq(lfsr11(u11:590), u11:1180);
+    let _ = assert_eq(lfsr11(u11:1180), u11:313);
+    let _ = assert_eq(lfsr11(u11:313), u11:627);
+    let _ = assert_eq(lfsr11(u11:627), u11:1254);
+    let _ = assert_eq(lfsr11(u11:1254), u11:461);
+    let _ = assert_eq(lfsr11(u11:461), u11:923);
+    let _ = assert_eq(lfsr11(u11:923), u11:1847);
+    let _ = assert_eq(lfsr11(u11:1847), u11:1646);
+    let _ = assert_eq(lfsr11(u11:1646), u11:1245);
+    let _ = assert_eq(lfsr11(u11:1245), u11:443);
+    let _ = assert_eq(lfsr11(u11:443), u11:887);
+    let _ = assert_eq(lfsr11(u11:887), u11:1775);
+    let _ = assert_eq(lfsr11(u11:1775), u11:1503);
+    let _ = assert_eq(lfsr11(u11:1503), u11:958);
+    let _ = assert_eq(lfsr11(u11:958), u11:1917);
+    let _ = assert_eq(lfsr11(u11:1917), u11:1786);
+    let _ = assert_eq(lfsr11(u11:1786), u11:1525);
+    let _ = assert_eq(lfsr11(u11:1525), u11:1002);
+    let _ = assert_eq(lfsr11(u11:1002), u11:2005);
+    let _ = assert_eq(lfsr11(u11:2005), u11:1962);
+    let _ = assert_eq(lfsr11(u11:1962), u11:1876);
+    let _ = assert_eq(lfsr11(u11:1876), u11:1704);
+    let _ = assert_eq(lfsr11(u11:1704), u11:1361);
+    let _ = assert_eq(lfsr11(u11:1361), u11:674);
+    let _ = assert_eq(lfsr11(u11:674), u11:1348);
+    let _ = assert_eq(lfsr11(u11:1348), u11:648);
+    let _ = assert_eq(lfsr11(u11:648), u11:1296);
+    let _ = assert_eq(lfsr11(u11:1296), u11:544);
+    let _ = assert_eq(lfsr11(u11:544), u11:1088);
+    let _ = assert_eq(lfsr11(u11:1088), u11:129);
+    let _ = assert_eq(lfsr11(u11:129), u11:258);
+    let _ = assert_eq(lfsr11(u11:258), u11:517);
+    let _ = assert_eq(lfsr11(u11:517), u11:1034);
+    let _ = assert_eq(lfsr11(u11:1034), u11:21);
+    let _ = assert_eq(lfsr11(u11:21), u11:42);
+    let _ = assert_eq(lfsr11(u11:42), u11:84);
+    let _ = assert_eq(lfsr11(u11:84), u11:168);
+    let _ = assert_eq(lfsr11(u11:168), u11:336);
+    let _ = assert_eq(lfsr11(u11:336), u11:673);
+    let _ = assert_eq(lfsr11(u11:673), u11:1346);
+    let _ = assert_eq(lfsr11(u11:1346), u11:644);
+    let _ = assert_eq(lfsr11(u11:644), u11:1288);
+    let _ = assert_eq(lfsr11(u11:1288), u11:528);
+    let _ = assert_eq(lfsr11(u11:528), u11:1056);
+    let _ = assert_eq(lfsr11(u11:1056), u11:65);
+    let _ = assert_eq(lfsr11(u11:65), u11:130);
+    let _ = assert_eq(lfsr11(u11:130), u11:260);
+    let _ = assert_eq(lfsr11(u11:260), u11:521);
+    let _ = assert_eq(lfsr11(u11:521), u11:1042);
+    let _ = assert_eq(lfsr11(u11:1042), u11:37);
+    let _ = assert_eq(lfsr11(u11:37), u11:74);
+    let _ = assert_eq(lfsr11(u11:74), u11:148);
+    let _ = assert_eq(lfsr11(u11:148), u11:296);
+    let _ = assert_eq(lfsr11(u11:296), u11:593);
+    let _ = assert_eq(lfsr11(u11:593), u11:1186);
+    let _ = assert_eq(lfsr11(u11:1186), u11:325);
+    let _ = assert_eq(lfsr11(u11:325), u11:651);
+    let _ = assert_eq(lfsr11(u11:651), u11:1302);
+    let _ = assert_eq(lfsr11(u11:1302), u11:556);
+    let _ = assert_eq(lfsr11(u11:556), u11:1112);
+    let _ = assert_eq(lfsr11(u11:1112), u11:177);
+    let _ = assert_eq(lfsr11(u11:177), u11:354);
+    let _ = assert_eq(lfsr11(u11:354), u11:709);
+    let _ = assert_eq(lfsr11(u11:709), u11:1418);
+    let _ = assert_eq(lfsr11(u11:1418), u11:788);
+    let _ = assert_eq(lfsr11(u11:788), u11:1577);
+    let _ = assert_eq(lfsr11(u11:1577), u11:1107);
+    let _ = assert_eq(lfsr11(u11:1107), u11:167);
+    let _ = assert_eq(lfsr11(u11:167), u11:334);
+    let _ = assert_eq(lfsr11(u11:334), u11:669);
+    let _ = assert_eq(lfsr11(u11:669), u11:1338);
+    let _ = assert_eq(lfsr11(u11:1338), u11:628);
+    let _ = assert_eq(lfsr11(u11:628), u11:1256);
+    let _ = assert_eq(lfsr11(u11:1256), u11:465);
+    let _ = assert_eq(lfsr11(u11:465), u11:931);
+    let _ = assert_eq(lfsr11(u11:931), u11:1863);
+    let _ = assert_eq(lfsr11(u11:1863), u11:1678);
+    let _ = assert_eq(lfsr11(u11:1678), u11:1309);
+    let _ = assert_eq(lfsr11(u11:1309), u11:570);
+    let _ = assert_eq(lfsr11(u11:570), u11:1140);
+    let _ = assert_eq(lfsr11(u11:1140), u11:233);
+    let _ = assert_eq(lfsr11(u11:233), u11:466);
+    let _ = assert_eq(lfsr11(u11:466), u11:933);
+    let _ = assert_eq(lfsr11(u11:933), u11:1867);
+    let _ = assert_eq(lfsr11(u11:1867), u11:1686);
+    let _ = assert_eq(lfsr11(u11:1686), u11:1325);
+    let _ = assert_eq(lfsr11(u11:1325), u11:602);
+    let _ = assert_eq(lfsr11(u11:602), u11:1204);
+    let _ = assert_eq(lfsr11(u11:1204), u11:361);
+    let _ = assert_eq(lfsr11(u11:361), u11:723);
+    let _ = assert_eq(lfsr11(u11:723), u11:1446);
+    let _ = assert_eq(lfsr11(u11:1446), u11:844);
+    let _ = assert_eq(lfsr11(u11:844), u11:1689);
+    let _ = assert_eq(lfsr11(u11:1689), u11:1331);
+    let _ = assert_eq(lfsr11(u11:1331), u11:614);
+    let _ = assert_eq(lfsr11(u11:614), u11:1228);
+    let _ = assert_eq(lfsr11(u11:1228), u11:409);
+    let _ = assert_eq(lfsr11(u11:409), u11:819);
+    let _ = assert_eq(lfsr11(u11:819), u11:1639);
+    let _ = assert_eq(lfsr11(u11:1639), u11:1231);
+    let _ = assert_eq(lfsr11(u11:1231), u11:415);
+    let _ = assert_eq(lfsr11(u11:415), u11:831);
+    let _ = assert_eq(lfsr11(u11:831), u11:1663);
+    let _ = assert_eq(lfsr11(u11:1663), u11:1279);
+    let _ = assert_eq(lfsr11(u11:1279), u11:511);
+    let _ = assert_eq(lfsr11(u11:511), u11:1023);
+    let _ = assert_eq(lfsr11(u11:1023), u11:2047);
+    let _ = assert_eq(lfsr11(u11:2047), u11:2046);
+    let _ = assert_eq(lfsr11(u11:2046), u11:2044);
+    let _ = assert_eq(lfsr11(u11:2044), u11:2040);
+    let _ = assert_eq(lfsr11(u11:2040), u11:2032);
+    let _ = assert_eq(lfsr11(u11:2032), u11:2016);
+    let _ = assert_eq(lfsr11(u11:2016), u11:1984);
+    let _ = assert_eq(lfsr11(u11:1984), u11:1920);
+    let _ = assert_eq(lfsr11(u11:1920), u11:1792);
+    let _ = assert_eq(lfsr11(u11:1792), u11:1536);
+    let _ = assert_eq(lfsr11(u11:1536), u11:1025);
+    let _ = assert_eq(lfsr11(u11:1025), u11:3);
+    let _ = assert_eq(lfsr11(u11:3), u11:6);
+    let _ = assert_eq(lfsr11(u11:6), u11:12);
+    let _ = assert_eq(lfsr11(u11:12), u11:24);
+    let _ = assert_eq(lfsr11(u11:24), u11:48);
+    let _ = assert_eq(lfsr11(u11:48), u11:96);
+    let _ = assert_eq(lfsr11(u11:96), u11:192);
+    let _ = assert_eq(lfsr11(u11:192), u11:384);
+    let _ = assert_eq(lfsr11(u11:384), u11:769);
+    let _ = assert_eq(lfsr11(u11:769), u11:1539);
+    let _ = assert_eq(lfsr11(u11:1539), u11:1031);
+    let _ = assert_eq(lfsr11(u11:1031), u11:15);
+    let _ = assert_eq(lfsr11(u11:15), u11:30);
+    let _ = assert_eq(lfsr11(u11:30), u11:60);
+    let _ = assert_eq(lfsr11(u11:60), u11:120);
+    let _ = assert_eq(lfsr11(u11:120), u11:240);
+    let _ = assert_eq(lfsr11(u11:240), u11:480);
+    let _ = assert_eq(lfsr11(u11:480), u11:961);
+    let _ = assert_eq(lfsr11(u11:961), u11:1923);
+    let _ = assert_eq(lfsr11(u11:1923), u11:1798);
+    let _ = assert_eq(lfsr11(u11:1798), u11:1548);
+    let _ = assert_eq(lfsr11(u11:1548), u11:1049);
+    let _ = assert_eq(lfsr11(u11:1049), u11:51);
+    let _ = assert_eq(lfsr11(u11:51), u11:102);
+    let _ = assert_eq(lfsr11(u11:102), u11:204);
+    let _ = assert_eq(lfsr11(u11:204), u11:408);
+    let _ = assert_eq(lfsr11(u11:408), u11:817);
+    let _ = assert_eq(lfsr11(u11:817), u11:1635);
+    let _ = assert_eq(lfsr11(u11:1635), u11:1223);
+    let _ = assert_eq(lfsr11(u11:1223), u11:399);
+    let _ = assert_eq(lfsr11(u11:399), u11:799);
+    let _ = assert_eq(lfsr11(u11:799), u11:1599);
+    let _ = assert_eq(lfsr11(u11:1599), u11:1151);
+    let _ = assert_eq(lfsr11(u11:1151), u11:255);
+    let _ = assert_eq(lfsr11(u11:255), u11:510);
+    let _ = assert_eq(lfsr11(u11:510), u11:1021);
+    let _ = assert_eq(lfsr11(u11:1021), u11:2043);
+    let _ = assert_eq(lfsr11(u11:2043), u11:2038);
+    let _ = assert_eq(lfsr11(u11:2038), u11:2028);
+    let _ = assert_eq(lfsr11(u11:2028), u11:2008);
+    let _ = assert_eq(lfsr11(u11:2008), u11:1968);
+    let _ = assert_eq(lfsr11(u11:1968), u11:1888);
+    let _ = assert_eq(lfsr11(u11:1888), u11:1728);
+    let _ = assert_eq(lfsr11(u11:1728), u11:1409);
+    let _ = assert_eq(lfsr11(u11:1409), u11:770);
+    let _ = assert_eq(lfsr11(u11:770), u11:1541);
+    let _ = assert_eq(lfsr11(u11:1541), u11:1035);
+    let _ = assert_eq(lfsr11(u11:1035), u11:23);
+    let _ = assert_eq(lfsr11(u11:23), u11:46);
+    let _ = assert_eq(lfsr11(u11:46), u11:92);
+    let _ = assert_eq(lfsr11(u11:92), u11:184);
+    let _ = assert_eq(lfsr11(u11:184), u11:368);
+    let _ = assert_eq(lfsr11(u11:368), u11:737);
+    let _ = assert_eq(lfsr11(u11:737), u11:1474);
+    let _ = assert_eq(lfsr11(u11:1474), u11:900);
+    let _ = assert_eq(lfsr11(u11:900), u11:1801);
+    let _ = assert_eq(lfsr11(u11:1801), u11:1554);
+    let _ = assert_eq(lfsr11(u11:1554), u11:1061);
+    let _ = assert_eq(lfsr11(u11:1061), u11:75);
+    let _ = assert_eq(lfsr11(u11:75), u11:150);
+    let _ = assert_eq(lfsr11(u11:150), u11:300);
+    let _ = assert_eq(lfsr11(u11:300), u11:601);
+    let _ = assert_eq(lfsr11(u11:601), u11:1202);
+    let _ = assert_eq(lfsr11(u11:1202), u11:357);
+    let _ = assert_eq(lfsr11(u11:357), u11:715);
+    let _ = assert_eq(lfsr11(u11:715), u11:1430);
+    let _ = assert_eq(lfsr11(u11:1430), u11:812);
+    let _ = assert_eq(lfsr11(u11:812), u11:1625);
+    let _ = assert_eq(lfsr11(u11:1625), u11:1203);
+    let _ = assert_eq(lfsr11(u11:1203), u11:359);
+    let _ = assert_eq(lfsr11(u11:359), u11:719);
+    let _ = assert_eq(lfsr11(u11:719), u11:1438);
+    let _ = assert_eq(lfsr11(u11:1438), u11:828);
+    let _ = assert_eq(lfsr11(u11:828), u11:1657);
+    let _ = assert_eq(lfsr11(u11:1657), u11:1267);
+    let _ = assert_eq(lfsr11(u11:1267), u11:487);
+    let _ = assert_eq(lfsr11(u11:487), u11:975);
+    let _ = assert_eq(lfsr11(u11:975), u11:1951);
+    let _ = assert_eq(lfsr11(u11:1951), u11:1854);
+    let _ = assert_eq(lfsr11(u11:1854), u11:1660);
+    let _ = assert_eq(lfsr11(u11:1660), u11:1273);
+    let _ = assert_eq(lfsr11(u11:1273), u11:499);
+    let _ = assert_eq(lfsr11(u11:499), u11:999);
+    let _ = assert_eq(lfsr11(u11:999), u11:1999);
+    let _ = assert_eq(lfsr11(u11:1999), u11:1950);
+    let _ = assert_eq(lfsr11(u11:1950), u11:1852);
+    let _ = assert_eq(lfsr11(u11:1852), u11:1656);
+    let _ = assert_eq(lfsr11(u11:1656), u11:1265);
+    let _ = assert_eq(lfsr11(u11:1265), u11:483);
+    let _ = assert_eq(lfsr11(u11:483), u11:967);
+    let _ = assert_eq(lfsr11(u11:967), u11:1935);
+    let _ = assert_eq(lfsr11(u11:1935), u11:1822);
+    let _ = assert_eq(lfsr11(u11:1822), u11:1596);
+    let _ = assert_eq(lfsr11(u11:1596), u11:1145);
+    let _ = assert_eq(lfsr11(u11:1145), u11:243);
+    let _ = assert_eq(lfsr11(u11:243), u11:486);
+    let _ = assert_eq(lfsr11(u11:486), u11:973);
+    let _ = assert_eq(lfsr11(u11:973), u11:1947);
+    let _ = assert_eq(lfsr11(u11:1947), u11:1846);
+    let _ = assert_eq(lfsr11(u11:1846), u11:1644);
+    let _ = assert_eq(lfsr11(u11:1644), u11:1241);
+    let _ = assert_eq(lfsr11(u11:1241), u11:435);
+    let _ = assert_eq(lfsr11(u11:435), u11:871);
+    let _ = assert_eq(lfsr11(u11:871), u11:1743);
+    let _ = assert_eq(lfsr11(u11:1743), u11:1439);
+    let _ = assert_eq(lfsr11(u11:1439), u11:830);
+    let _ = assert_eq(lfsr11(u11:830), u11:1661);
+    let _ = assert_eq(lfsr11(u11:1661), u11:1275);
+    let _ = assert_eq(lfsr11(u11:1275), u11:503);
+    let _ = assert_eq(lfsr11(u11:503), u11:1007);
+    let _ = assert_eq(lfsr11(u11:1007), u11:2015);
+    let _ = assert_eq(lfsr11(u11:2015), u11:1982);
+    let _ = assert_eq(lfsr11(u11:1982), u11:1916);
+    let _ = assert_eq(lfsr11(u11:1916), u11:1784);
+    let _ = assert_eq(lfsr11(u11:1784), u11:1521);
+    let _ = assert_eq(lfsr11(u11:1521), u11:994);
+    let _ = assert_eq(lfsr11(u11:994), u11:1989);
+    let _ = assert_eq(lfsr11(u11:1989), u11:1930);
+    let _ = assert_eq(lfsr11(u11:1930), u11:1812);
+    let _ = assert_eq(lfsr11(u11:1812), u11:1576);
+    let _ = assert_eq(lfsr11(u11:1576), u11:1105);
+    let _ = assert_eq(lfsr11(u11:1105), u11:163);
+    let _ = assert_eq(lfsr11(u11:163), u11:326);
+    let _ = assert_eq(lfsr11(u11:326), u11:653);
+    let _ = assert_eq(lfsr11(u11:653), u11:1306);
+    let _ = assert_eq(lfsr11(u11:1306), u11:564);
+    let _ = assert_eq(lfsr11(u11:564), u11:1128);
+    let _ = assert_eq(lfsr11(u11:1128), u11:209);
+    let _ = assert_eq(lfsr11(u11:209), u11:418);
+    let _ = assert_eq(lfsr11(u11:418), u11:837);
+    let _ = assert_eq(lfsr11(u11:837), u11:1675);
+    let _ = assert_eq(lfsr11(u11:1675), u11:1303);
+    let _ = assert_eq(lfsr11(u11:1303), u11:558);
+    let _ = assert_eq(lfsr11(u11:558), u11:1116);
+    let _ = assert_eq(lfsr11(u11:1116), u11:185);
+    let _ = assert_eq(lfsr11(u11:185), u11:370);
+    let _ = assert_eq(lfsr11(u11:370), u11:741);
+    let _ = assert_eq(lfsr11(u11:741), u11:1482);
+    let _ = assert_eq(lfsr11(u11:1482), u11:916);
+    let _ = assert_eq(lfsr11(u11:916), u11:1833);
+    let _ = assert_eq(lfsr11(u11:1833), u11:1618);
+    let _ = assert_eq(lfsr11(u11:1618), u11:1189);
+    let _ = assert_eq(lfsr11(u11:1189), u11:331);
+    let _ = assert_eq(lfsr11(u11:331), u11:663);
+    let _ = assert_eq(lfsr11(u11:663), u11:1326);
+    let _ = assert_eq(lfsr11(u11:1326), u11:604);
+    let _ = assert_eq(lfsr11(u11:604), u11:1208);
+    let _ = assert_eq(lfsr11(u11:1208), u11:369);
+    let _ = assert_eq(lfsr11(u11:369), u11:739);
+    let _ = assert_eq(lfsr11(u11:739), u11:1478);
+    let _ = assert_eq(lfsr11(u11:1478), u11:908);
+    let _ = assert_eq(lfsr11(u11:908), u11:1817);
+    let _ = assert_eq(lfsr11(u11:1817), u11:1586);
+    let _ = assert_eq(lfsr11(u11:1586), u11:1125);
+    let _ = assert_eq(lfsr11(u11:1125), u11:203);
+    let _ = assert_eq(lfsr11(u11:203), u11:406);
+    let _ = assert_eq(lfsr11(u11:406), u11:813);
+    let _ = assert_eq(lfsr11(u11:813), u11:1627);
+    let _ = assert_eq(lfsr11(u11:1627), u11:1207);
+    let _ = assert_eq(lfsr11(u11:1207), u11:367);
+    let _ = assert_eq(lfsr11(u11:367), u11:735);
+    let _ = assert_eq(lfsr11(u11:735), u11:1470);
+    let _ = assert_eq(lfsr11(u11:1470), u11:892);
+    let _ = assert_eq(lfsr11(u11:892), u11:1785);
+    let _ = assert_eq(lfsr11(u11:1785), u11:1523);
+    let _ = assert_eq(lfsr11(u11:1523), u11:998);
+    let _ = assert_eq(lfsr11(u11:998), u11:1997);
+    let _ = assert_eq(lfsr11(u11:1997), u11:1946);
+    let _ = assert_eq(lfsr11(u11:1946), u11:1844);
+    let _ = assert_eq(lfsr11(u11:1844), u11:1640);
+    let _ = assert_eq(lfsr11(u11:1640), u11:1233);
+    let _ = assert_eq(lfsr11(u11:1233), u11:419);
+    let _ = assert_eq(lfsr11(u11:419), u11:839);
+    let _ = assert_eq(lfsr11(u11:839), u11:1679);
+    let _ = assert_eq(lfsr11(u11:1679), u11:1311);
+    let _ = assert_eq(lfsr11(u11:1311), u11:574);
+    let _ = assert_eq(lfsr11(u11:574), u11:1148);
+    let _ = assert_eq(lfsr11(u11:1148), u11:249);
+    let _ = assert_eq(lfsr11(u11:249), u11:498);
+    let _ = assert_eq(lfsr11(u11:498), u11:997);
+    let _ = assert_eq(lfsr11(u11:997), u11:1995);
+    let _ = assert_eq(lfsr11(u11:1995), u11:1942);
+    let _ = assert_eq(lfsr11(u11:1942), u11:1836);
+    let _ = assert_eq(lfsr11(u11:1836), u11:1624);
+    let _ = assert_eq(lfsr11(u11:1624), u11:1201);
+    let _ = assert_eq(lfsr11(u11:1201), u11:355);
+    let _ = assert_eq(lfsr11(u11:355), u11:711);
+    let _ = assert_eq(lfsr11(u11:711), u11:1422);
+    let _ = assert_eq(lfsr11(u11:1422), u11:796);
+    let _ = assert_eq(lfsr11(u11:796), u11:1593);
+    let _ = assert_eq(lfsr11(u11:1593), u11:1139);
+    let _ = assert_eq(lfsr11(u11:1139), u11:231);
+    let _ = assert_eq(lfsr11(u11:231), u11:462);
+    let _ = assert_eq(lfsr11(u11:462), u11:925);
+    let _ = assert_eq(lfsr11(u11:925), u11:1851);
+    let _ = assert_eq(lfsr11(u11:1851), u11:1654);
+    let _ = assert_eq(lfsr11(u11:1654), u11:1261);
+    let _ = assert_eq(lfsr11(u11:1261), u11:475);
+    let _ = assert_eq(lfsr11(u11:475), u11:951);
+    let _ = assert_eq(lfsr11(u11:951), u11:1903);
+    let _ = assert_eq(lfsr11(u11:1903), u11:1758);
+    let _ = assert_eq(lfsr11(u11:1758), u11:1469);
+    let _ = assert_eq(lfsr11(u11:1469), u11:890);
+    let _ = assert_eq(lfsr11(u11:890), u11:1781);
+    let _ = assert_eq(lfsr11(u11:1781), u11:1515);
+    let _ = assert_eq(lfsr11(u11:1515), u11:982);
+    let _ = assert_eq(lfsr11(u11:982), u11:1965);
+    let _ = assert_eq(lfsr11(u11:1965), u11:1882);
+    let _ = assert_eq(lfsr11(u11:1882), u11:1716);
+    let _ = assert_eq(lfsr11(u11:1716), u11:1385);
+    let _ = assert_eq(lfsr11(u11:1385), u11:722);
+    let _ = assert_eq(lfsr11(u11:722), u11:1444);
+    let _ = assert_eq(lfsr11(u11:1444), u11:840);
+    let _ = assert_eq(lfsr11(u11:840), u11:1681);
+    let _ = assert_eq(lfsr11(u11:1681), u11:1315);
+    let _ = assert_eq(lfsr11(u11:1315), u11:582);
+    let _ = assert_eq(lfsr11(u11:582), u11:1164);
+    let _ = assert_eq(lfsr11(u11:1164), u11:281);
+    let _ = assert_eq(lfsr11(u11:281), u11:563);
+    let _ = assert_eq(lfsr11(u11:563), u11:1126);
+    let _ = assert_eq(lfsr11(u11:1126), u11:205);
+    let _ = assert_eq(lfsr11(u11:205), u11:410);
+    let _ = assert_eq(lfsr11(u11:410), u11:821);
+    let _ = assert_eq(lfsr11(u11:821), u11:1643);
+    let _ = assert_eq(lfsr11(u11:1643), u11:1239);
+    let _ = assert_eq(lfsr11(u11:1239), u11:431);
+    let _ = assert_eq(lfsr11(u11:431), u11:863);
+    let _ = assert_eq(lfsr11(u11:863), u11:1727);
+    let _ = assert_eq(lfsr11(u11:1727), u11:1407);
+    let _ = assert_eq(lfsr11(u11:1407), u11:766);
+    let _ = assert_eq(lfsr11(u11:766), u11:1532);
+    let _ = assert_eq(lfsr11(u11:1532), u11:1016);
+    let _ = assert_eq(lfsr11(u11:1016), u11:2033);
+    let _ = assert_eq(lfsr11(u11:2033), u11:2018);
+    let _ = assert_eq(lfsr11(u11:2018), u11:1988);
+    let _ = assert_eq(lfsr11(u11:1988), u11:1928);
+    let _ = assert_eq(lfsr11(u11:1928), u11:1808);
+    let _ = assert_eq(lfsr11(u11:1808), u11:1568);
+    let _ = assert_eq(lfsr11(u11:1568), u11:1089);
+    let _ = assert_eq(lfsr11(u11:1089), u11:131);
+    let _ = assert_eq(lfsr11(u11:131), u11:262);
+    let _ = assert_eq(lfsr11(u11:262), u11:525);
+    let _ = assert_eq(lfsr11(u11:525), u11:1050);
+    let _ = assert_eq(lfsr11(u11:1050), u11:53);
+    let _ = assert_eq(lfsr11(u11:53), u11:106);
+    let _ = assert_eq(lfsr11(u11:106), u11:212);
+    let _ = assert_eq(lfsr11(u11:212), u11:424);
+    let _ = assert_eq(lfsr11(u11:424), u11:849);
+    let _ = assert_eq(lfsr11(u11:849), u11:1699);
+    let _ = assert_eq(lfsr11(u11:1699), u11:1351);
+    let _ = assert_eq(lfsr11(u11:1351), u11:654);
+    let _ = assert_eq(lfsr11(u11:654), u11:1308);
+    let _ = assert_eq(lfsr11(u11:1308), u11:568);
+    let _ = assert_eq(lfsr11(u11:568), u11:1136);
+    let _ = assert_eq(lfsr11(u11:1136), u11:225);
+    let _ = assert_eq(lfsr11(u11:225), u11:450);
+    let _ = assert_eq(lfsr11(u11:450), u11:901);
+    let _ = assert_eq(lfsr11(u11:901), u11:1803);
+    let _ = assert_eq(lfsr11(u11:1803), u11:1558);
+    let _ = assert_eq(lfsr11(u11:1558), u11:1069);
+    let _ = assert_eq(lfsr11(u11:1069), u11:91);
+    let _ = assert_eq(lfsr11(u11:91), u11:182);
+    let _ = assert_eq(lfsr11(u11:182), u11:364);
+    let _ = assert_eq(lfsr11(u11:364), u11:729);
+    let _ = assert_eq(lfsr11(u11:729), u11:1458);
+    let _ = assert_eq(lfsr11(u11:1458), u11:868);
+    let _ = assert_eq(lfsr11(u11:868), u11:1737);
+    let _ = assert_eq(lfsr11(u11:1737), u11:1427);
+    let _ = assert_eq(lfsr11(u11:1427), u11:806);
+    let _ = assert_eq(lfsr11(u11:806), u11:1613);
+    let _ = assert_eq(lfsr11(u11:1613), u11:1179);
+    let _ = assert_eq(lfsr11(u11:1179), u11:311);
+    let _ = assert_eq(lfsr11(u11:311), u11:623);
+    let _ = assert_eq(lfsr11(u11:623), u11:1246);
+    let _ = assert_eq(lfsr11(u11:1246), u11:445);
+    let _ = assert_eq(lfsr11(u11:445), u11:891);
+    let _ = assert_eq(lfsr11(u11:891), u11:1783);
+    let _ = assert_eq(lfsr11(u11:1783), u11:1519);
+    let _ = assert_eq(lfsr11(u11:1519), u11:990);
+    let _ = assert_eq(lfsr11(u11:990), u11:1981);
+    let _ = assert_eq(lfsr11(u11:1981), u11:1914);
+    let _ = assert_eq(lfsr11(u11:1914), u11:1780);
+    let _ = assert_eq(lfsr11(u11:1780), u11:1513);
+    let _ = assert_eq(lfsr11(u11:1513), u11:978);
+    let _ = assert_eq(lfsr11(u11:978), u11:1957);
+    let _ = assert_eq(lfsr11(u11:1957), u11:1866);
+    let _ = assert_eq(lfsr11(u11:1866), u11:1684);
+    let _ = assert_eq(lfsr11(u11:1684), u11:1321);
+    let _ = assert_eq(lfsr11(u11:1321), u11:594);
+    let _ = assert_eq(lfsr11(u11:594), u11:1188);
+    let _ = assert_eq(lfsr11(u11:1188), u11:329);
+    let _ = assert_eq(lfsr11(u11:329), u11:659);
+    let _ = assert_eq(lfsr11(u11:659), u11:1318);
+    let _ = assert_eq(lfsr11(u11:1318), u11:588);
+    let _ = assert_eq(lfsr11(u11:588), u11:1176);
+    let _ = assert_eq(lfsr11(u11:1176), u11:305);
+    let _ = assert_eq(lfsr11(u11:305), u11:611);
+    let _ = assert_eq(lfsr11(u11:611), u11:1222);
+    let _ = assert_eq(lfsr11(u11:1222), u11:397);
+    let _ = assert_eq(lfsr11(u11:397), u11:795);
+    let _ = assert_eq(lfsr11(u11:795), u11:1591);
+    let _ = assert_eq(lfsr11(u11:1591), u11:1135);
+    let _ = assert_eq(lfsr11(u11:1135), u11:223);
+    let _ = assert_eq(lfsr11(u11:223), u11:446);
+    let _ = assert_eq(lfsr11(u11:446), u11:893);
+    let _ = assert_eq(lfsr11(u11:893), u11:1787);
+    let _ = assert_eq(lfsr11(u11:1787), u11:1527);
+    let _ = assert_eq(lfsr11(u11:1527), u11:1006);
+    let _ = assert_eq(lfsr11(u11:1006), u11:2013);
+    let _ = assert_eq(lfsr11(u11:2013), u11:1978);
+    let _ = assert_eq(lfsr11(u11:1978), u11:1908);
+    let _ = assert_eq(lfsr11(u11:1908), u11:1768);
+    let _ = assert_eq(lfsr11(u11:1768), u11:1489);
+    let _ = assert_eq(lfsr11(u11:1489), u11:930);
+    let _ = assert_eq(lfsr11(u11:930), u11:1861);
+    let _ = assert_eq(lfsr11(u11:1861), u11:1674);
+    let _ = assert_eq(lfsr11(u11:1674), u11:1301);
+    let _ = assert_eq(lfsr11(u11:1301), u11:554);
+    let _ = assert_eq(lfsr11(u11:554), u11:1108);
+    let _ = assert_eq(lfsr11(u11:1108), u11:169);
+    let _ = assert_eq(lfsr11(u11:169), u11:338);
+    let _ = assert_eq(lfsr11(u11:338), u11:677);
+    let _ = assert_eq(lfsr11(u11:677), u11:1354);
+    let _ = assert_eq(lfsr11(u11:1354), u11:660);
+    let _ = assert_eq(lfsr11(u11:660), u11:1320);
+    let _ = assert_eq(lfsr11(u11:1320), u11:592);
+    let _ = assert_eq(lfsr11(u11:592), u11:1184);
+    let _ = assert_eq(lfsr11(u11:1184), u11:321);
+    let _ = assert_eq(lfsr11(u11:321), u11:643);
+    let _ = assert_eq(lfsr11(u11:643), u11:1286);
+    let _ = assert_eq(lfsr11(u11:1286), u11:524);
+    let _ = assert_eq(lfsr11(u11:524), u11:1048);
+    let _ = assert_eq(lfsr11(u11:1048), u11:49);
+    let _ = assert_eq(lfsr11(u11:49), u11:98);
+    let _ = assert_eq(lfsr11(u11:98), u11:196);
+    let _ = assert_eq(lfsr11(u11:196), u11:392);
+    let _ = assert_eq(lfsr11(u11:392), u11:785);
+    let _ = assert_eq(lfsr11(u11:785), u11:1571);
+    let _ = assert_eq(lfsr11(u11:1571), u11:1095);
+    let _ = assert_eq(lfsr11(u11:1095), u11:143);
+    let _ = assert_eq(lfsr11(u11:143), u11:286);
+    let _ = assert_eq(lfsr11(u11:286), u11:573);
+    let _ = assert_eq(lfsr11(u11:573), u11:1146);
+    let _ = assert_eq(lfsr11(u11:1146), u11:245);
+    let _ = assert_eq(lfsr11(u11:245), u11:490);
+    let _ = assert_eq(lfsr11(u11:490), u11:981);
+    let _ = assert_eq(lfsr11(u11:981), u11:1963);
+    let _ = assert_eq(lfsr11(u11:1963), u11:1878);
+    let _ = assert_eq(lfsr11(u11:1878), u11:1708);
+    let _ = assert_eq(lfsr11(u11:1708), u11:1369);
+    let _ = assert_eq(lfsr11(u11:1369), u11:690);
+    let _ = assert_eq(lfsr11(u11:690), u11:1380);
+    let _ = assert_eq(lfsr11(u11:1380), u11:712);
+    let _ = assert_eq(lfsr11(u11:712), u11:1424);
+    let _ = assert_eq(lfsr11(u11:1424), u11:800);
+    let _ = assert_eq(lfsr11(u11:800), u11:1601);
+    let _ = assert_eq(lfsr11(u11:1601), u11:1155);
+    let _ = assert_eq(lfsr11(u11:1155), u11:263);
+    let _ = assert_eq(lfsr11(u11:263), u11:527);
+    let _ = assert_eq(lfsr11(u11:527), u11:1054);
+    let _ = assert_eq(lfsr11(u11:1054), u11:61);
+    let _ = assert_eq(lfsr11(u11:61), u11:122);
+    let _ = assert_eq(lfsr11(u11:122), u11:244);
+    let _ = assert_eq(lfsr11(u11:244), u11:488);
+    let _ = assert_eq(lfsr11(u11:488), u11:977);
+    let _ = assert_eq(lfsr11(u11:977), u11:1955);
+    let _ = assert_eq(lfsr11(u11:1955), u11:1862);
+    let _ = assert_eq(lfsr11(u11:1862), u11:1676);
+    let _ = assert_eq(lfsr11(u11:1676), u11:1305);
+    let _ = assert_eq(lfsr11(u11:1305), u11:562);
+    let _ = assert_eq(lfsr11(u11:562), u11:1124);
+    let _ = assert_eq(lfsr11(u11:1124), u11:201);
+    let _ = assert_eq(lfsr11(u11:201), u11:402);
+    let _ = assert_eq(lfsr11(u11:402), u11:805);
+    let _ = assert_eq(lfsr11(u11:805), u11:1611);
+    let _ = assert_eq(lfsr11(u11:1611), u11:1175);
+    let _ = assert_eq(lfsr11(u11:1175), u11:303);
+    let _ = assert_eq(lfsr11(u11:303), u11:607);
+    let _ = assert_eq(lfsr11(u11:607), u11:1214);
+    let _ = assert_eq(lfsr11(u11:1214), u11:381);
+    let _ = assert_eq(lfsr11(u11:381), u11:763);
+    let _ = assert_eq(lfsr11(u11:763), u11:1526);
+    let _ = assert_eq(lfsr11(u11:1526), u11:1004);
+    let _ = assert_eq(lfsr11(u11:1004), u11:2009);
+    let _ = assert_eq(lfsr11(u11:2009), u11:1970);
+    let _ = assert_eq(lfsr11(u11:1970), u11:1892);
+    let _ = assert_eq(lfsr11(u11:1892), u11:1736);
+    let _ = assert_eq(lfsr11(u11:1736), u11:1425);
+    let _ = assert_eq(lfsr11(u11:1425), u11:802);
+    let _ = assert_eq(lfsr11(u11:802), u11:1605);
+    let _ = assert_eq(lfsr11(u11:1605), u11:1163);
+    let _ = assert_eq(lfsr11(u11:1163), u11:279);
+    let _ = assert_eq(lfsr11(u11:279), u11:559);
+    let _ = assert_eq(lfsr11(u11:559), u11:1118);
+    let _ = assert_eq(lfsr11(u11:1118), u11:189);
+    let _ = assert_eq(lfsr11(u11:189), u11:378);
+    let _ = assert_eq(lfsr11(u11:378), u11:757);
+    let _ = assert_eq(lfsr11(u11:757), u11:1514);
+    let _ = assert_eq(lfsr11(u11:1514), u11:980);
+    let _ = assert_eq(lfsr11(u11:980), u11:1961);
+    let _ = assert_eq(lfsr11(u11:1961), u11:1874);
+    let _ = assert_eq(lfsr11(u11:1874), u11:1700);
+    let _ = assert_eq(lfsr11(u11:1700), u11:1353);
+    let _ = assert_eq(lfsr11(u11:1353), u11:658);
+    let _ = assert_eq(lfsr11(u11:658), u11:1316);
+    let _ = assert_eq(lfsr11(u11:1316), u11:584);
+    let _ = assert_eq(lfsr11(u11:584), u11:1168);
+    let _ = assert_eq(lfsr11(u11:1168), u11:289);
+    let _ = assert_eq(lfsr11(u11:289), u11:579);
+    let _ = assert_eq(lfsr11(u11:579), u11:1158);
+    let _ = assert_eq(lfsr11(u11:1158), u11:269);
+    let _ = assert_eq(lfsr11(u11:269), u11:539);
+    let _ = assert_eq(lfsr11(u11:539), u11:1078);
+    let _ = assert_eq(lfsr11(u11:1078), u11:109);
+    let _ = assert_eq(lfsr11(u11:109), u11:218);
+    let _ = assert_eq(lfsr11(u11:218), u11:436);
+    let _ = assert_eq(lfsr11(u11:436), u11:873);
+    let _ = assert_eq(lfsr11(u11:873), u11:1747);
+    let _ = assert_eq(lfsr11(u11:1747), u11:1447);
+    let _ = assert_eq(lfsr11(u11:1447), u11:846);
+    let _ = assert_eq(lfsr11(u11:846), u11:1693);
+    let _ = assert_eq(lfsr11(u11:1693), u11:1339);
+    let _ = assert_eq(lfsr11(u11:1339), u11:630);
+    let _ = assert_eq(lfsr11(u11:630), u11:1260);
+    let _ = assert_eq(lfsr11(u11:1260), u11:473);
+    let _ = assert_eq(lfsr11(u11:473), u11:947);
+    let _ = assert_eq(lfsr11(u11:947), u11:1895);
+    let _ = assert_eq(lfsr11(u11:1895), u11:1742);
+    let _ = assert_eq(lfsr11(u11:1742), u11:1437);
+    let _ = assert_eq(lfsr11(u11:1437), u11:826);
+    let _ = assert_eq(lfsr11(u11:826), u11:1653);
+    let _ = assert_eq(lfsr11(u11:1653), u11:1259);
+    let _ = assert_eq(lfsr11(u11:1259), u11:471);
+    let _ = assert_eq(lfsr11(u11:471), u11:943);
+    let _ = assert_eq(lfsr11(u11:943), u11:1887);
+    let _ = assert_eq(lfsr11(u11:1887), u11:1726);
+    let _ = assert_eq(lfsr11(u11:1726), u11:1405);
+    let _ = assert_eq(lfsr11(u11:1405), u11:762);
+    let _ = assert_eq(lfsr11(u11:762), u11:1524);
+    let _ = assert_eq(lfsr11(u11:1524), u11:1000);
+    let _ = assert_eq(lfsr11(u11:1000), u11:2001);
+    let _ = assert_eq(lfsr11(u11:2001), u11:1954);
+    let _ = assert_eq(lfsr11(u11:1954), u11:1860);
+    let _ = assert_eq(lfsr11(u11:1860), u11:1672);
+    let _ = assert_eq(lfsr11(u11:1672), u11:1297);
+    let _ = assert_eq(lfsr11(u11:1297), u11:546);
+    let _ = assert_eq(lfsr11(u11:546), u11:1092);
+    let _ = assert_eq(lfsr11(u11:1092), u11:137);
+    let _ = assert_eq(lfsr11(u11:137), u11:274);
+    let _ = assert_eq(lfsr11(u11:274), u11:549);
+    let _ = assert_eq(lfsr11(u11:549), u11:1098);
+    let _ = assert_eq(lfsr11(u11:1098), u11:149);
+    let _ = assert_eq(lfsr11(u11:149), u11:298);
+    let _ = assert_eq(lfsr11(u11:298), u11:597);
+    let _ = assert_eq(lfsr11(u11:597), u11:1194);
+    let _ = assert_eq(lfsr11(u11:1194), u11:341);
+    let _ = assert_eq(lfsr11(u11:341), u11:683);
+    let _ = assert_eq(lfsr11(u11:683), u11:1366);
+    let _ = assert_eq(lfsr11(u11:1366), u11:684);
+    let _ = assert_eq(lfsr11(u11:684), u11:1368);
+    let _ = assert_eq(lfsr11(u11:1368), u11:688);
+    let _ = assert_eq(lfsr11(u11:688), u11:1376);
+    let _ = assert_eq(lfsr11(u11:1376), u11:704);
+    let _ = assert_eq(lfsr11(u11:704), u11:1408);
+    let _ = assert_eq(lfsr11(u11:1408), u11:768);
+    let _ = assert_eq(lfsr11(u11:768), u11:1537);
+    let _ = assert_eq(lfsr11(u11:1537), u11:1027);
+    let _ = assert_eq(lfsr11(u11:1027), u11:7);
+    let _ = assert_eq(lfsr11(u11:7), u11:14);
+    let _ = assert_eq(lfsr11(u11:14), u11:28);
+    let _ = assert_eq(lfsr11(u11:28), u11:56);
+    let _ = assert_eq(lfsr11(u11:56), u11:112);
+    let _ = assert_eq(lfsr11(u11:112), u11:224);
+    let _ = assert_eq(lfsr11(u11:224), u11:448);
+    let _ = assert_eq(lfsr11(u11:448), u11:897);
+    let _ = assert_eq(lfsr11(u11:897), u11:1795);
+    let _ = assert_eq(lfsr11(u11:1795), u11:1542);
+    let _ = assert_eq(lfsr11(u11:1542), u11:1037);
+    let _ = assert_eq(lfsr11(u11:1037), u11:27);
+    let _ = assert_eq(lfsr11(u11:27), u11:54);
+    let _ = assert_eq(lfsr11(u11:54), u11:108);
+    let _ = assert_eq(lfsr11(u11:108), u11:216);
+    let _ = assert_eq(lfsr11(u11:216), u11:432);
+    let _ = assert_eq(lfsr11(u11:432), u11:865);
+    let _ = assert_eq(lfsr11(u11:865), u11:1731);
+    let _ = assert_eq(lfsr11(u11:1731), u11:1415);
+    let _ = assert_eq(lfsr11(u11:1415), u11:782);
+    let _ = assert_eq(lfsr11(u11:782), u11:1565);
+    let _ = assert_eq(lfsr11(u11:1565), u11:1083);
+    let _ = assert_eq(lfsr11(u11:1083), u11:119);
+    let _ = assert_eq(lfsr11(u11:119), u11:238);
+    let _ = assert_eq(lfsr11(u11:238), u11:476);
+    let _ = assert_eq(lfsr11(u11:476), u11:953);
+    let _ = assert_eq(lfsr11(u11:953), u11:1907);
+    let _ = assert_eq(lfsr11(u11:1907), u11:1766);
+    let _ = assert_eq(lfsr11(u11:1766), u11:1485);
+    let _ = assert_eq(lfsr11(u11:1485), u11:922);
+    let _ = assert_eq(lfsr11(u11:922), u11:1845);
+    let _ = assert_eq(lfsr11(u11:1845), u11:1642);
+    let _ = assert_eq(lfsr11(u11:1642), u11:1237);
+    let _ = assert_eq(lfsr11(u11:1237), u11:427);
+    let _ = assert_eq(lfsr11(u11:427), u11:855);
+    let _ = assert_eq(lfsr11(u11:855), u11:1711);
+    let _ = assert_eq(lfsr11(u11:1711), u11:1375);
+    let _ = assert_eq(lfsr11(u11:1375), u11:702);
+    let _ = assert_eq(lfsr11(u11:702), u11:1404);
+    let _ = assert_eq(lfsr11(u11:1404), u11:760);
+    let _ = assert_eq(lfsr11(u11:760), u11:1520);
+    let _ = assert_eq(lfsr11(u11:1520), u11:992);
+    let _ = assert_eq(lfsr11(u11:992), u11:1985);
+    let _ = assert_eq(lfsr11(u11:1985), u11:1922);
+    let _ = assert_eq(lfsr11(u11:1922), u11:1796);
+    let _ = assert_eq(lfsr11(u11:1796), u11:1544);
+    let _ = assert_eq(lfsr11(u11:1544), u11:1041);
+    let _ = assert_eq(lfsr11(u11:1041), u11:35);
+    let _ = assert_eq(lfsr11(u11:35), u11:70);
+    let _ = assert_eq(lfsr11(u11:70), u11:140);
+    let _ = assert_eq(lfsr11(u11:140), u11:280);
+    let _ = assert_eq(lfsr11(u11:280), u11:561);
+    let _ = assert_eq(lfsr11(u11:561), u11:1122);
+    let _ = assert_eq(lfsr11(u11:1122), u11:197);
+    let _ = assert_eq(lfsr11(u11:197), u11:394);
+    let _ = assert_eq(lfsr11(u11:394), u11:789);
+    let _ = assert_eq(lfsr11(u11:789), u11:1579);
+    let _ = assert_eq(lfsr11(u11:1579), u11:1111);
+    let _ = assert_eq(lfsr11(u11:1111), u11:175);
+    let _ = assert_eq(lfsr11(u11:175), u11:350);
+    let _ = assert_eq(lfsr11(u11:350), u11:701);
+    let _ = assert_eq(lfsr11(u11:701), u11:1402);
+    let _ = assert_eq(lfsr11(u11:1402), u11:756);
+    let _ = assert_eq(lfsr11(u11:756), u11:1512);
+    let _ = assert_eq(lfsr11(u11:1512), u11:976);
+    let _ = assert_eq(lfsr11(u11:976), u11:1953);
+    let _ = assert_eq(lfsr11(u11:1953), u11:1858);
+    let _ = assert_eq(lfsr11(u11:1858), u11:1668);
+    let _ = assert_eq(lfsr11(u11:1668), u11:1289);
+    let _ = assert_eq(lfsr11(u11:1289), u11:530);
+    let _ = assert_eq(lfsr11(u11:530), u11:1060);
+    let _ = assert_eq(lfsr11(u11:1060), u11:73);
+    let _ = assert_eq(lfsr11(u11:73), u11:146);
+    let _ = assert_eq(lfsr11(u11:146), u11:292);
+    let _ = assert_eq(lfsr11(u11:292), u11:585);
+    let _ = assert_eq(lfsr11(u11:585), u11:1170);
+    let _ = assert_eq(lfsr11(u11:1170), u11:293);
+    let _ = assert_eq(lfsr11(u11:293), u11:587);
+    let _ = assert_eq(lfsr11(u11:587), u11:1174);
+    let _ = assert_eq(lfsr11(u11:1174), u11:301);
+    let _ = assert_eq(lfsr11(u11:301), u11:603);
+    let _ = assert_eq(lfsr11(u11:603), u11:1206);
+    let _ = assert_eq(lfsr11(u11:1206), u11:365);
+    let _ = assert_eq(lfsr11(u11:365), u11:731);
+    let _ = assert_eq(lfsr11(u11:731), u11:1462);
+    let _ = assert_eq(lfsr11(u11:1462), u11:876);
+    let _ = assert_eq(lfsr11(u11:876), u11:1753);
+    let _ = assert_eq(lfsr11(u11:1753), u11:1459);
+    let _ = assert_eq(lfsr11(u11:1459), u11:870);
+    let _ = assert_eq(lfsr11(u11:870), u11:1741);
+    let _ = assert_eq(lfsr11(u11:1741), u11:1435);
+    let _ = assert_eq(lfsr11(u11:1435), u11:822);
+    let _ = assert_eq(lfsr11(u11:822), u11:1645);
+    let _ = assert_eq(lfsr11(u11:1645), u11:1243);
+    let _ = assert_eq(lfsr11(u11:1243), u11:439);
+    let _ = assert_eq(lfsr11(u11:439), u11:879);
+    let _ = assert_eq(lfsr11(u11:879), u11:1759);
+    let _ = assert_eq(lfsr11(u11:1759), u11:1471);
+    let _ = assert_eq(lfsr11(u11:1471), u11:894);
+    let _ = assert_eq(lfsr11(u11:894), u11:1789);
+    let _ = assert_eq(lfsr11(u11:1789), u11:1531);
+    let _ = assert_eq(lfsr11(u11:1531), u11:1014);
+    let _ = assert_eq(lfsr11(u11:1014), u11:2029);
+    let _ = assert_eq(lfsr11(u11:2029), u11:2010);
+    let _ = assert_eq(lfsr11(u11:2010), u11:1972);
+    let _ = assert_eq(lfsr11(u11:1972), u11:1896);
+    let _ = assert_eq(lfsr11(u11:1896), u11:1744);
+    let _ = assert_eq(lfsr11(u11:1744), u11:1441);
+    let _ = assert_eq(lfsr11(u11:1441), u11:834);
+    let _ = assert_eq(lfsr11(u11:834), u11:1669);
+    let _ = assert_eq(lfsr11(u11:1669), u11:1291);
+    let _ = assert_eq(lfsr11(u11:1291), u11:534);
+    let _ = assert_eq(lfsr11(u11:534), u11:1068);
+    let _ = assert_eq(lfsr11(u11:1068), u11:89);
+    let _ = assert_eq(lfsr11(u11:89), u11:178);
+    let _ = assert_eq(lfsr11(u11:178), u11:356);
+    let _ = assert_eq(lfsr11(u11:356), u11:713);
+    let _ = assert_eq(lfsr11(u11:713), u11:1426);
+    let _ = assert_eq(lfsr11(u11:1426), u11:804);
+    let _ = assert_eq(lfsr11(u11:804), u11:1609);
+    let _ = assert_eq(lfsr11(u11:1609), u11:1171);
+    let _ = assert_eq(lfsr11(u11:1171), u11:295);
+    let _ = assert_eq(lfsr11(u11:295), u11:591);
+    let _ = assert_eq(lfsr11(u11:591), u11:1182);
+    let _ = assert_eq(lfsr11(u11:1182), u11:317);
+    let _ = assert_eq(lfsr11(u11:317), u11:635);
+    let _ = assert_eq(lfsr11(u11:635), u11:1270);
+    let _ = assert_eq(lfsr11(u11:1270), u11:493);
+    let _ = assert_eq(lfsr11(u11:493), u11:987);
+    let _ = assert_eq(lfsr11(u11:987), u11:1975);
+    let _ = assert_eq(lfsr11(u11:1975), u11:1902);
+    let _ = assert_eq(lfsr11(u11:1902), u11:1756);
+    let _ = assert_eq(lfsr11(u11:1756), u11:1465);
+    let _ = assert_eq(lfsr11(u11:1465), u11:882);
+    let _ = assert_eq(lfsr11(u11:882), u11:1765);
+    let _ = assert_eq(lfsr11(u11:1765), u11:1483);
+    let _ = assert_eq(lfsr11(u11:1483), u11:918);
+    let _ = assert_eq(lfsr11(u11:918), u11:1837);
+    let _ = assert_eq(lfsr11(u11:1837), u11:1626);
+    let _ = assert_eq(lfsr11(u11:1626), u11:1205);
+    let _ = assert_eq(lfsr11(u11:1205), u11:363);
+    let _ = assert_eq(lfsr11(u11:363), u11:727);
+    let _ = assert_eq(lfsr11(u11:727), u11:1454);
+    let _ = assert_eq(lfsr11(u11:1454), u11:860);
+    let _ = assert_eq(lfsr11(u11:860), u11:1721);
+    let _ = assert_eq(lfsr11(u11:1721), u11:1395);
+    let _ = assert_eq(lfsr11(u11:1395), u11:742);
+    let _ = assert_eq(lfsr11(u11:742), u11:1484);
+    let _ = assert_eq(lfsr11(u11:1484), u11:920);
+    let _ = assert_eq(lfsr11(u11:920), u11:1841);
+    let _ = assert_eq(lfsr11(u11:1841), u11:1634);
+    let _ = assert_eq(lfsr11(u11:1634), u11:1221);
+    let _ = assert_eq(lfsr11(u11:1221), u11:395);
+    let _ = assert_eq(lfsr11(u11:395), u11:791);
+    let _ = assert_eq(lfsr11(u11:791), u11:1583);
+    let _ = assert_eq(lfsr11(u11:1583), u11:1119);
+    let _ = assert_eq(lfsr11(u11:1119), u11:191);
+    let _ = assert_eq(lfsr11(u11:191), u11:382);
+    let _ = assert_eq(lfsr11(u11:382), u11:765);
+    let _ = assert_eq(lfsr11(u11:765), u11:1530);
+    let _ = assert_eq(lfsr11(u11:1530), u11:1012);
+    let _ = assert_eq(lfsr11(u11:1012), u11:2025);
+    let _ = assert_eq(lfsr11(u11:2025), u11:2002);
+    let _ = assert_eq(lfsr11(u11:2002), u11:1956);
+    let _ = assert_eq(lfsr11(u11:1956), u11:1864);
+    let _ = assert_eq(lfsr11(u11:1864), u11:1680);
+    let _ = assert_eq(lfsr11(u11:1680), u11:1313);
+    let _ = assert_eq(lfsr11(u11:1313), u11:578);
+    let _ = assert_eq(lfsr11(u11:578), u11:1156);
+    let _ = assert_eq(lfsr11(u11:1156), u11:265);
+    let _ = assert_eq(lfsr11(u11:265), u11:531);
+    let _ = assert_eq(lfsr11(u11:531), u11:1062);
+    let _ = assert_eq(lfsr11(u11:1062), u11:77);
+    let _ = assert_eq(lfsr11(u11:77), u11:154);
+    let _ = assert_eq(lfsr11(u11:154), u11:308);
+    let _ = assert_eq(lfsr11(u11:308), u11:617);
+    let _ = assert_eq(lfsr11(u11:617), u11:1234);
+    let _ = assert_eq(lfsr11(u11:1234), u11:421);
+    let _ = assert_eq(lfsr11(u11:421), u11:843);
+    let _ = assert_eq(lfsr11(u11:843), u11:1687);
+    let _ = assert_eq(lfsr11(u11:1687), u11:1327);
+    let _ = assert_eq(lfsr11(u11:1327), u11:606);
+    let _ = assert_eq(lfsr11(u11:606), u11:1212);
+    let _ = assert_eq(lfsr11(u11:1212), u11:377);
+    let _ = assert_eq(lfsr11(u11:377), u11:755);
+    let _ = assert_eq(lfsr11(u11:755), u11:1510);
+    let _ = assert_eq(lfsr11(u11:1510), u11:972);
+    let _ = assert_eq(lfsr11(u11:972), u11:1945);
+    let _ = assert_eq(lfsr11(u11:1945), u11:1842);
+    let _ = assert_eq(lfsr11(u11:1842), u11:1636);
+    let _ = assert_eq(lfsr11(u11:1636), u11:1225);
+    let _ = assert_eq(lfsr11(u11:1225), u11:403);
+    let _ = assert_eq(lfsr11(u11:403), u11:807);
+    let _ = assert_eq(lfsr11(u11:807), u11:1615);
+    let _ = assert_eq(lfsr11(u11:1615), u11:1183);
+    let _ = assert_eq(lfsr11(u11:1183), u11:319);
+    let _ = assert_eq(lfsr11(u11:319), u11:639);
+    let _ = assert_eq(lfsr11(u11:639), u11:1278);
+    let _ = assert_eq(lfsr11(u11:1278), u11:509);
+    let _ = assert_eq(lfsr11(u11:509), u11:1019);
+    let _ = assert_eq(lfsr11(u11:1019), u11:2039);
+    let _ = assert_eq(lfsr11(u11:2039), u11:2030);
+    let _ = assert_eq(lfsr11(u11:2030), u11:2012);
+    let _ = assert_eq(lfsr11(u11:2012), u11:1976);
+    let _ = assert_eq(lfsr11(u11:1976), u11:1904);
+    let _ = assert_eq(lfsr11(u11:1904), u11:1760);
+    let _ = assert_eq(lfsr11(u11:1760), u11:1473);
+    let _ = assert_eq(lfsr11(u11:1473), u11:898);
+    let _ = assert_eq(lfsr11(u11:898), u11:1797);
+    let _ = assert_eq(lfsr11(u11:1797), u11:1546);
+    let _ = assert_eq(lfsr11(u11:1546), u11:1045);
+    let _ = assert_eq(lfsr11(u11:1045), u11:43);
+    let _ = assert_eq(lfsr11(u11:43), u11:86);
+    let _ = assert_eq(lfsr11(u11:86), u11:172);
+    let _ = assert_eq(lfsr11(u11:172), u11:344);
+    let _ = assert_eq(lfsr11(u11:344), u11:689);
+    let _ = assert_eq(lfsr11(u11:689), u11:1378);
+    let _ = assert_eq(lfsr11(u11:1378), u11:708);
+    let _ = assert_eq(lfsr11(u11:708), u11:1416);
+    let _ = assert_eq(lfsr11(u11:1416), u11:784);
+    let _ = assert_eq(lfsr11(u11:784), u11:1569);
+    let _ = assert_eq(lfsr11(u11:1569), u11:1091);
+    let _ = assert_eq(lfsr11(u11:1091), u11:135);
+    let _ = assert_eq(lfsr11(u11:135), u11:270);
+    let _ = assert_eq(lfsr11(u11:270), u11:541);
+    let _ = assert_eq(lfsr11(u11:541), u11:1082);
+    let _ = assert_eq(lfsr11(u11:1082), u11:117);
+    let _ = assert_eq(lfsr11(u11:117), u11:234);
+    let _ = assert_eq(lfsr11(u11:234), u11:468);
+    let _ = assert_eq(lfsr11(u11:468), u11:937);
+    let _ = assert_eq(lfsr11(u11:937), u11:1875);
+    let _ = assert_eq(lfsr11(u11:1875), u11:1702);
+    let _ = assert_eq(lfsr11(u11:1702), u11:1357);
+    let _ = assert_eq(lfsr11(u11:1357), u11:666);
+    let _ = assert_eq(lfsr11(u11:666), u11:1332);
+    let _ = assert_eq(lfsr11(u11:1332), u11:616);
+    let _ = assert_eq(lfsr11(u11:616), u11:1232);
+    let _ = assert_eq(lfsr11(u11:1232), u11:417);
+    let _ = assert_eq(lfsr11(u11:417), u11:835);
+    let _ = assert_eq(lfsr11(u11:835), u11:1671);
+    let _ = assert_eq(lfsr11(u11:1671), u11:1295);
+    let _ = assert_eq(lfsr11(u11:1295), u11:542);
+    let _ = assert_eq(lfsr11(u11:542), u11:1084);
+    let _ = assert_eq(lfsr11(u11:1084), u11:121);
+    let _ = assert_eq(lfsr11(u11:121), u11:242);
+    let _ = assert_eq(lfsr11(u11:242), u11:484);
+    let _ = assert_eq(lfsr11(u11:484), u11:969);
+    let _ = assert_eq(lfsr11(u11:969), u11:1939);
+    let _ = assert_eq(lfsr11(u11:1939), u11:1830);
+    let _ = assert_eq(lfsr11(u11:1830), u11:1612);
+    let _ = assert_eq(lfsr11(u11:1612), u11:1177);
+    let _ = assert_eq(lfsr11(u11:1177), u11:307);
+    let _ = assert_eq(lfsr11(u11:307), u11:615);
+    let _ = assert_eq(lfsr11(u11:615), u11:1230);
+    let _ = assert_eq(lfsr11(u11:1230), u11:413);
+    let _ = assert_eq(lfsr11(u11:413), u11:827);
+    let _ = assert_eq(lfsr11(u11:827), u11:1655);
+    let _ = assert_eq(lfsr11(u11:1655), u11:1263);
+    let _ = assert_eq(lfsr11(u11:1263), u11:479);
+    let _ = assert_eq(lfsr11(u11:479), u11:959);
+    let _ = assert_eq(lfsr11(u11:959), u11:1919);
+    let _ = assert_eq(lfsr11(u11:1919), u11:1790);
+    let _ = assert_eq(lfsr11(u11:1790), u11:1533);
+    let _ = assert_eq(lfsr11(u11:1533), u11:1018);
+    let _ = assert_eq(lfsr11(u11:1018), u11:2037);
+    let _ = assert_eq(lfsr11(u11:2037), u11:2026);
+    let _ = assert_eq(lfsr11(u11:2026), u11:2004);
+    let _ = assert_eq(lfsr11(u11:2004), u11:1960);
+    let _ = assert_eq(lfsr11(u11:1960), u11:1872);
+    let _ = assert_eq(lfsr11(u11:1872), u11:1696);
+    let _ = assert_eq(lfsr11(u11:1696), u11:1345);
+    let _ = assert_eq(lfsr11(u11:1345), u11:642);
+    let _ = assert_eq(lfsr11(u11:642), u11:1284);
+    let _ = assert_eq(lfsr11(u11:1284), u11:520);
+    let _ = assert_eq(lfsr11(u11:520), u11:1040);
+    let _ = assert_eq(lfsr11(u11:1040), u11:33);
+    let _ = assert_eq(lfsr11(u11:33), u11:66);
+    let _ = assert_eq(lfsr11(u11:66), u11:132);
+    let _ = assert_eq(lfsr11(u11:132), u11:264);
+    let _ = assert_eq(lfsr11(u11:264), u11:529);
+    let _ = assert_eq(lfsr11(u11:529), u11:1058);
+    let _ = assert_eq(lfsr11(u11:1058), u11:69);
+    let _ = assert_eq(lfsr11(u11:69), u11:138);
+    let _ = assert_eq(lfsr11(u11:138), u11:276);
+    let _ = assert_eq(lfsr11(u11:276), u11:553);
+    let _ = assert_eq(lfsr11(u11:553), u11:1106);
+    let _ = assert_eq(lfsr11(u11:1106), u11:165);
+    let _ = assert_eq(lfsr11(u11:165), u11:330);
+    let _ = assert_eq(lfsr11(u11:330), u11:661);
+    let _ = assert_eq(lfsr11(u11:661), u11:1322);
+    let _ = assert_eq(lfsr11(u11:1322), u11:596);
+    let _ = assert_eq(lfsr11(u11:596), u11:1192);
+    let _ = assert_eq(lfsr11(u11:1192), u11:337);
+    let _ = assert_eq(lfsr11(u11:337), u11:675);
+    let _ = assert_eq(lfsr11(u11:675), u11:1350);
+    let _ = assert_eq(lfsr11(u11:1350), u11:652);
+    let _ = assert_eq(lfsr11(u11:652), u11:1304);
+    let _ = assert_eq(lfsr11(u11:1304), u11:560);
+    let _ = assert_eq(lfsr11(u11:560), u11:1120);
+    let _ = assert_eq(lfsr11(u11:1120), u11:193);
+    let _ = assert_eq(lfsr11(u11:193), u11:386);
+    let _ = assert_eq(lfsr11(u11:386), u11:773);
+    let _ = assert_eq(lfsr11(u11:773), u11:1547);
+    let _ = assert_eq(lfsr11(u11:1547), u11:1047);
+    let _ = assert_eq(lfsr11(u11:1047), u11:47);
+    let _ = assert_eq(lfsr11(u11:47), u11:94);
+    let _ = assert_eq(lfsr11(u11:94), u11:188);
+    let _ = assert_eq(lfsr11(u11:188), u11:376);
+    let _ = assert_eq(lfsr11(u11:376), u11:753);
+    let _ = assert_eq(lfsr11(u11:753), u11:1506);
+    let _ = assert_eq(lfsr11(u11:1506), u11:964);
+    let _ = assert_eq(lfsr11(u11:964), u11:1929);
+    let _ = assert_eq(lfsr11(u11:1929), u11:1810);
+    let _ = assert_eq(lfsr11(u11:1810), u11:1572);
+    let _ = assert_eq(lfsr11(u11:1572), u11:1097);
+    let _ = assert_eq(lfsr11(u11:1097), u11:147);
+    let _ = assert_eq(lfsr11(u11:147), u11:294);
+    let _ = assert_eq(lfsr11(u11:294), u11:589);
+    let _ = assert_eq(lfsr11(u11:589), u11:1178);
+    let _ = assert_eq(lfsr11(u11:1178), u11:309);
+    let _ = assert_eq(lfsr11(u11:309), u11:619);
+    let _ = assert_eq(lfsr11(u11:619), u11:1238);
+    let _ = assert_eq(lfsr11(u11:1238), u11:429);
+    let _ = assert_eq(lfsr11(u11:429), u11:859);
+    let _ = assert_eq(lfsr11(u11:859), u11:1719);
+    let _ = assert_eq(lfsr11(u11:1719), u11:1391);
+    let _ = assert_eq(lfsr11(u11:1391), u11:734);
+    let _ = assert_eq(lfsr11(u11:734), u11:1468);
+    let _ = assert_eq(lfsr11(u11:1468), u11:888);
+    let _ = assert_eq(lfsr11(u11:888), u11:1777);
+    let _ = assert_eq(lfsr11(u11:1777), u11:1507);
+    let _ = assert_eq(lfsr11(u11:1507), u11:966);
+    let _ = assert_eq(lfsr11(u11:966), u11:1933);
+    let _ = assert_eq(lfsr11(u11:1933), u11:1818);
+    let _ = assert_eq(lfsr11(u11:1818), u11:1588);
+    let _ = assert_eq(lfsr11(u11:1588), u11:1129);
+    let _ = assert_eq(lfsr11(u11:1129), u11:211);
+    let _ = assert_eq(lfsr11(u11:211), u11:422);
+    let _ = assert_eq(lfsr11(u11:422), u11:845);
+    let _ = assert_eq(lfsr11(u11:845), u11:1691);
+    let _ = assert_eq(lfsr11(u11:1691), u11:1335);
+    let _ = assert_eq(lfsr11(u11:1335), u11:622);
+    let _ = assert_eq(lfsr11(u11:622), u11:1244);
+    let _ = assert_eq(lfsr11(u11:1244), u11:441);
+    let _ = assert_eq(lfsr11(u11:441), u11:883);
+    let _ = assert_eq(lfsr11(u11:883), u11:1767);
+    let _ = assert_eq(lfsr11(u11:1767), u11:1487);
+    let _ = assert_eq(lfsr11(u11:1487), u11:926);
+    let _ = assert_eq(lfsr11(u11:926), u11:1853);
+    let _ = assert_eq(lfsr11(u11:1853), u11:1658);
+    let _ = assert_eq(lfsr11(u11:1658), u11:1269);
+    let _ = assert_eq(lfsr11(u11:1269), u11:491);
+    let _ = assert_eq(lfsr11(u11:491), u11:983);
+    let _ = assert_eq(lfsr11(u11:983), u11:1967);
+    let _ = assert_eq(lfsr11(u11:1967), u11:1886);
+    let _ = assert_eq(lfsr11(u11:1886), u11:1724);
+    let _ = assert_eq(lfsr11(u11:1724), u11:1401);
+    let _ = assert_eq(lfsr11(u11:1401), u11:754);
+    let _ = assert_eq(lfsr11(u11:754), u11:1508);
+    let _ = assert_eq(lfsr11(u11:1508), u11:968);
+    let _ = assert_eq(lfsr11(u11:968), u11:1937);
+    let _ = assert_eq(lfsr11(u11:1937), u11:1826);
+    let _ = assert_eq(lfsr11(u11:1826), u11:1604);
+    let _ = assert_eq(lfsr11(u11:1604), u11:1161);
+    let _ = assert_eq(lfsr11(u11:1161), u11:275);
+    let _ = assert_eq(lfsr11(u11:275), u11:551);
+    let _ = assert_eq(lfsr11(u11:551), u11:1102);
+    let _ = assert_eq(lfsr11(u11:1102), u11:157);
+    let _ = assert_eq(lfsr11(u11:157), u11:314);
+    let _ = assert_eq(lfsr11(u11:314), u11:629);
+    let _ = assert_eq(lfsr11(u11:629), u11:1258);
+    let _ = assert_eq(lfsr11(u11:1258), u11:469);
+    let _ = assert_eq(lfsr11(u11:469), u11:939);
+    let _ = assert_eq(lfsr11(u11:939), u11:1879);
+    let _ = assert_eq(lfsr11(u11:1879), u11:1710);
+    let _ = assert_eq(lfsr11(u11:1710), u11:1373);
+    let _ = assert_eq(lfsr11(u11:1373), u11:698);
+    let _ = assert_eq(lfsr11(u11:698), u11:1396);
+    let _ = assert_eq(lfsr11(u11:1396), u11:744);
+    let _ = assert_eq(lfsr11(u11:744), u11:1488);
+    let _ = assert_eq(lfsr11(u11:1488), u11:928);
+    let _ = assert_eq(lfsr11(u11:928), u11:1857);
+    let _ = assert_eq(lfsr11(u11:1857), u11:1666);
+    let _ = assert_eq(lfsr11(u11:1666), u11:1285);
+    let _ = assert_eq(lfsr11(u11:1285), u11:522);
+    let _ = assert_eq(lfsr11(u11:522), u11:1044);
+    let _ = assert_eq(lfsr11(u11:1044), u11:41);
+    let _ = assert_eq(lfsr11(u11:41), u11:82);
+    let _ = assert_eq(lfsr11(u11:82), u11:164);
+    let _ = assert_eq(lfsr11(u11:164), u11:328);
+    let _ = assert_eq(lfsr11(u11:328), u11:657);
+    let _ = assert_eq(lfsr11(u11:657), u11:1314);
+    let _ = assert_eq(lfsr11(u11:1314), u11:580);
+    let _ = assert_eq(lfsr11(u11:580), u11:1160);
+    let _ = assert_eq(lfsr11(u11:1160), u11:273);
+    let _ = assert_eq(lfsr11(u11:273), u11:547);
+    let _ = assert_eq(lfsr11(u11:547), u11:1094);
+    let _ = assert_eq(lfsr11(u11:1094), u11:141);
+    let _ = assert_eq(lfsr11(u11:141), u11:282);
+    let _ = assert_eq(lfsr11(u11:282), u11:565);
+    let _ = assert_eq(lfsr11(u11:565), u11:1130);
+    let _ = assert_eq(lfsr11(u11:1130), u11:213);
+    let _ = assert_eq(lfsr11(u11:213), u11:426);
+    let _ = assert_eq(lfsr11(u11:426), u11:853);
+    let _ = assert_eq(lfsr11(u11:853), u11:1707);
+    let _ = assert_eq(lfsr11(u11:1707), u11:1367);
+    let _ = assert_eq(lfsr11(u11:1367), u11:686);
+    let _ = assert_eq(lfsr11(u11:686), u11:1372);
+    let _ = assert_eq(lfsr11(u11:1372), u11:696);
+    let _ = assert_eq(lfsr11(u11:696), u11:1392);
+    let _ = assert_eq(lfsr11(u11:1392), u11:736);
+    let _ = assert_eq(lfsr11(u11:736), u11:1472);
+    let _ = assert_eq(lfsr11(u11:1472), u11:896);
+    let _ = assert_eq(lfsr11(u11:896), u11:1793);
+    let _ = assert_eq(lfsr11(u11:1793), u11:1538);
+    let _ = assert_eq(lfsr11(u11:1538), u11:1029);
+    let _ = assert_eq(lfsr11(u11:1029), u11:11);
+    let _ = assert_eq(lfsr11(u11:11), u11:22);
+    let _ = assert_eq(lfsr11(u11:22), u11:44);
+    let _ = assert_eq(lfsr11(u11:44), u11:88);
+    let _ = assert_eq(lfsr11(u11:88), u11:176);
+    let _ = assert_eq(lfsr11(u11:176), u11:352);
+    let _ = assert_eq(lfsr11(u11:352), u11:705);
+    let _ = assert_eq(lfsr11(u11:705), u11:1410);
+    let _ = assert_eq(lfsr11(u11:1410), u11:772);
+    let _ = assert_eq(lfsr11(u11:772), u11:1545);
+    let _ = assert_eq(lfsr11(u11:1545), u11:1043);
+    let _ = assert_eq(lfsr11(u11:1043), u11:39);
+    let _ = assert_eq(lfsr11(u11:39), u11:78);
+    let _ = assert_eq(lfsr11(u11:78), u11:156);
+    let _ = assert_eq(lfsr11(u11:156), u11:312);
+    let _ = assert_eq(lfsr11(u11:312), u11:625);
+    let _ = assert_eq(lfsr11(u11:625), u11:1250);
+    let _ = assert_eq(lfsr11(u11:1250), u11:453);
+    let _ = assert_eq(lfsr11(u11:453), u11:907);
+    let _ = assert_eq(lfsr11(u11:907), u11:1815);
+    let _ = assert_eq(lfsr11(u11:1815), u11:1582);
+    let _ = assert_eq(lfsr11(u11:1582), u11:1117);
+    let _ = assert_eq(lfsr11(u11:1117), u11:187);
+    let _ = assert_eq(lfsr11(u11:187), u11:374);
+    let _ = assert_eq(lfsr11(u11:374), u11:749);
+    let _ = assert_eq(lfsr11(u11:749), u11:1498);
+    let _ = assert_eq(lfsr11(u11:1498), u11:948);
+    let _ = assert_eq(lfsr11(u11:948), u11:1897);
+    let _ = assert_eq(lfsr11(u11:1897), u11:1746);
+    let _ = assert_eq(lfsr11(u11:1746), u11:1445);
+    let _ = assert_eq(lfsr11(u11:1445), u11:842);
+    let _ = assert_eq(lfsr11(u11:842), u11:1685);
+    let _ = assert_eq(lfsr11(u11:1685), u11:1323);
+    let _ = assert_eq(lfsr11(u11:1323), u11:598);
+    let _ = assert_eq(lfsr11(u11:598), u11:1196);
+    let _ = assert_eq(lfsr11(u11:1196), u11:345);
+    let _ = assert_eq(lfsr11(u11:345), u11:691);
+    let _ = assert_eq(lfsr11(u11:691), u11:1382);
+    let _ = assert_eq(lfsr11(u11:1382), u11:716);
+    let _ = assert_eq(lfsr11(u11:716), u11:1432);
+    let _ = assert_eq(lfsr11(u11:1432), u11:816);
+    let _ = assert_eq(lfsr11(u11:816), u11:1633);
+    let _ = assert_eq(lfsr11(u11:1633), u11:1219);
+    let _ = assert_eq(lfsr11(u11:1219), u11:391);
+    let _ = assert_eq(lfsr11(u11:391), u11:783);
+    let _ = assert_eq(lfsr11(u11:783), u11:1567);
+    let _ = assert_eq(lfsr11(u11:1567), u11:1087);
+    let _ = assert_eq(lfsr11(u11:1087), u11:127);
+    let _ = assert_eq(lfsr11(u11:127), u11:254);
+    let _ = assert_eq(lfsr11(u11:254), u11:508);
+    let _ = assert_eq(lfsr11(u11:508), u11:1017);
+    let _ = assert_eq(lfsr11(u11:1017), u11:2035);
+    let _ = assert_eq(lfsr11(u11:2035), u11:2022);
+    let _ = assert_eq(lfsr11(u11:2022), u11:1996);
+    let _ = assert_eq(lfsr11(u11:1996), u11:1944);
+    let _ = assert_eq(lfsr11(u11:1944), u11:1840);
+    let _ = assert_eq(lfsr11(u11:1840), u11:1632);
+    let _ = assert_eq(lfsr11(u11:1632), u11:1217);
+    let _ = assert_eq(lfsr11(u11:1217), u11:387);
+    let _ = assert_eq(lfsr11(u11:387), u11:775);
+    let _ = assert_eq(lfsr11(u11:775), u11:1551);
+    let _ = assert_eq(lfsr11(u11:1551), u11:1055);
+    let _ = assert_eq(lfsr11(u11:1055), u11:63);
+    let _ = assert_eq(lfsr11(u11:63), u11:126);
+    let _ = assert_eq(lfsr11(u11:126), u11:252);
+    let _ = assert_eq(lfsr11(u11:252), u11:504);
+    let _ = assert_eq(lfsr11(u11:504), u11:1009);
+    let _ = assert_eq(lfsr11(u11:1009), u11:2019);
+    let _ = assert_eq(lfsr11(u11:2019), u11:1990);
+    let _ = assert_eq(lfsr11(u11:1990), u11:1932);
+    let _ = assert_eq(lfsr11(u11:1932), u11:1816);
+    let _ = assert_eq(lfsr11(u11:1816), u11:1584);
+    let _ = assert_eq(lfsr11(u11:1584), u11:1121);
+    let _ = assert_eq(lfsr11(u11:1121), u11:195);
+    let _ = assert_eq(lfsr11(u11:195), u11:390);
+    let _ = assert_eq(lfsr11(u11:390), u11:781);
+    let _ = assert_eq(lfsr11(u11:781), u11:1563);
+    let _ = assert_eq(lfsr11(u11:1563), u11:1079);
+    let _ = assert_eq(lfsr11(u11:1079), u11:111);
+    let _ = assert_eq(lfsr11(u11:111), u11:222);
+    let _ = assert_eq(lfsr11(u11:222), u11:444);
+    let _ = assert_eq(lfsr11(u11:444), u11:889);
+    let _ = assert_eq(lfsr11(u11:889), u11:1779);
+    let _ = assert_eq(lfsr11(u11:1779), u11:1511);
+    let _ = assert_eq(lfsr11(u11:1511), u11:974);
+    let _ = assert_eq(lfsr11(u11:974), u11:1949);
+    let _ = assert_eq(lfsr11(u11:1949), u11:1850);
+    let _ = assert_eq(lfsr11(u11:1850), u11:1652);
+    let _ = assert_eq(lfsr11(u11:1652), u11:1257);
+    let _ = assert_eq(lfsr11(u11:1257), u11:467);
+    let _ = assert_eq(lfsr11(u11:467), u11:935);
+    let _ = assert_eq(lfsr11(u11:935), u11:1871);
+    let _ = assert_eq(lfsr11(u11:1871), u11:1694);
+    let _ = assert_eq(lfsr11(u11:1694), u11:1341);
+    let _ = assert_eq(lfsr11(u11:1341), u11:634);
+    let _ = assert_eq(lfsr11(u11:634), u11:1268);
+    let _ = assert_eq(lfsr11(u11:1268), u11:489);
+    let _ = assert_eq(lfsr11(u11:489), u11:979);
+    let _ = assert_eq(lfsr11(u11:979), u11:1959);
+    let _ = assert_eq(lfsr11(u11:1959), u11:1870);
+    let _ = assert_eq(lfsr11(u11:1870), u11:1692);
+    let _ = assert_eq(lfsr11(u11:1692), u11:1337);
+    let _ = assert_eq(lfsr11(u11:1337), u11:626);
+    let _ = assert_eq(lfsr11(u11:626), u11:1252);
+    let _ = assert_eq(lfsr11(u11:1252), u11:457);
+    let _ = assert_eq(lfsr11(u11:457), u11:915);
+    let _ = assert_eq(lfsr11(u11:915), u11:1831);
+    let _ = assert_eq(lfsr11(u11:1831), u11:1614);
+    let _ = assert_eq(lfsr11(u11:1614), u11:1181);
+    let _ = assert_eq(lfsr11(u11:1181), u11:315);
+    let _ = assert_eq(lfsr11(u11:315), u11:631);
+    let _ = assert_eq(lfsr11(u11:631), u11:1262);
+    let _ = assert_eq(lfsr11(u11:1262), u11:477);
+    let _ = assert_eq(lfsr11(u11:477), u11:955);
+    let _ = assert_eq(lfsr11(u11:955), u11:1911);
+    let _ = assert_eq(lfsr11(u11:1911), u11:1774);
+    let _ = assert_eq(lfsr11(u11:1774), u11:1501);
+    let _ = assert_eq(lfsr11(u11:1501), u11:954);
+    let _ = assert_eq(lfsr11(u11:954), u11:1909);
+    let _ = assert_eq(lfsr11(u11:1909), u11:1770);
+    let _ = assert_eq(lfsr11(u11:1770), u11:1493);
+    let _ = assert_eq(lfsr11(u11:1493), u11:938);
+    let _ = assert_eq(lfsr11(u11:938), u11:1877);
+    let _ = assert_eq(lfsr11(u11:1877), u11:1706);
+    let _ = assert_eq(lfsr11(u11:1706), u11:1365);
+    let _ = assert_eq(lfsr11(u11:1365), u11:682);
+    let _ = assert_eq(lfsr11(u11:682), u11:1364);
+    let _ = assert_eq(lfsr11(u11:1364), u11:680);
+    let _ = assert_eq(lfsr11(u11:680), u11:1360);
+    let _ = assert_eq(lfsr11(u11:1360), u11:672);
+    let _ = assert_eq(lfsr11(u11:672), u11:1344);
+    let _ = assert_eq(lfsr11(u11:1344), u11:640);
+    let _ = assert_eq(lfsr11(u11:640), u11:1280);
+    let _ = assert_eq(lfsr11(u11:1280), u11:512);
+    let _ = assert_eq(lfsr11(u11:512), u11:1024);
+    let _ = assert_eq(lfsr11(u11:1024), u11:1);
+}
+
 pub fn user_module(io_in: u8) -> u8 {
     lfsr8(io_in)
 }