diff options
Diffstat (limited to 'test/builtins/unsigned4.sail')
| -rw-r--r-- | test/builtins/unsigned4.sail | 3001 |
1 files changed, 3001 insertions, 0 deletions
diff --git a/test/builtins/unsigned4.sail b/test/builtins/unsigned4.sail new file mode 100644 index 00000000..c92e568f --- /dev/null +++ b/test/builtins/unsigned4.sail @@ -0,0 +1,3001 @@ +default Order dec + +$include <exception_basic.sail> +$include <vector_dec.sail> + +function main (() : unit) -> unit = { + assert(unsigned(zero_extend(0x104ef4, 64)) == 1068788); + assert(unsigned(zero_extend(0x104ef8, 64)) == 1068792); + assert(unsigned(zero_extend(0x104efc, 64)) == 1068796); + assert(unsigned(zero_extend(0x104f00, 64)) == 1068800); + assert(unsigned(zero_extend(0x104f04, 64)) == 1068804); + assert(unsigned(zero_extend(0x104f08, 64)) == 1068808); + assert(unsigned(zero_extend(0x104f0c, 64)) == 1068812); + assert(unsigned(zero_extend(0x104f10, 64)) == 1068816); + assert(unsigned(zero_extend(0x104f14, 64)) == 1068820); + assert(unsigned(zero_extend(0x104f20, 64)) == 1068832); + assert(unsigned(zero_extend(0x104f24, 64)) == 1068836); + assert(unsigned(zero_extend(0x104f28, 64)) == 1068840); + assert(unsigned(zero_extend(0x104f2c, 64)) == 1068844); + assert(unsigned(zero_extend(0x104f3c, 64)) == 1068860); + assert(unsigned(zero_extend(0x104f40, 64)) == 1068864); + assert(unsigned(zero_extend(0x104f44, 64)) == 1068868); + assert(unsigned(zero_extend(0x104f48, 64)) == 1068872); + assert(unsigned(zero_extend(0x104f4c, 64)) == 1068876); + assert(unsigned(zero_extend(0x104f50, 64)) == 1068880); + assert(unsigned(zero_extend(0x104f54, 64)) == 1068884); + assert(unsigned(zero_extend(0x104f58, 64)) == 1068888); + assert(unsigned(zero_extend(0x104f5c, 64)) == 1068892); + assert(unsigned(zero_extend(0x104f60, 64)) == 1068896); + assert(unsigned(zero_extend(0x104f64, 64)) == 1068900); + assert(unsigned(zero_extend(0x104f68, 64)) == 1068904); + assert(unsigned(zero_extend(0x104f6c, 64)) == 1068908); + assert(unsigned(zero_extend(0x104f70, 64)) == 1068912); + assert(unsigned(zero_extend(0x104f74, 64)) == 1068916); + assert(unsigned(zero_extend(0x104f78, 64)) == 1068920); + assert(unsigned(zero_extend(0x104f7c, 64)) == 1068924); + assert(unsigned(zero_extend(0x104f80, 64)) == 1068928); + assert(unsigned(zero_extend(0x104f84, 64)) == 1068932); + assert(unsigned(zero_extend(0x104f88, 64)) == 1068936); + assert(unsigned(zero_extend(0x104f8c, 64)) == 1068940); + assert(unsigned(zero_extend(0x104f90, 64)) == 1068944); + assert(unsigned(zero_extend(0x104f94, 64)) == 1068948); + assert(unsigned(zero_extend(0x104f98, 64)) == 1068952); + assert(unsigned(zero_extend(0x104f9c, 64)) == 1068956); + assert(unsigned(zero_extend(0x104fa0, 64)) == 1068960); + assert(unsigned(zero_extend(0x104fa4, 64)) == 1068964); + assert(unsigned(zero_extend(0x104fa8, 64)) == 1068968); + assert(unsigned(zero_extend(0x104fac, 64)) == 1068972); + assert(unsigned(zero_extend(0x104fb0, 64)) == 1068976); + assert(unsigned(zero_extend(0x104fb4, 64)) == 1068980); + assert(unsigned(zero_extend(0x104fb8, 64)) == 1068984); + assert(unsigned(zero_extend(0x104fbc, 64)) == 1068988); + assert(unsigned(zero_extend(0x104fc0, 64)) == 1068992); + assert(unsigned(zero_extend(0x104fc4, 64)) == 1068996); + assert(unsigned(zero_extend(0x104fc8, 64)) == 1069000); + assert(unsigned(zero_extend(0x104fcc, 64)) == 1069004); + assert(unsigned(zero_extend(0x104fd0, 64)) == 1069008); + assert(unsigned(zero_extend(0x104fd4, 64)) == 1069012); + assert(unsigned(zero_extend(0x104fd8, 64)) == 1069016); + assert(unsigned(zero_extend(0x104fdc, 64)) == 1069020); + assert(unsigned(zero_extend(0x104fe0, 64)) == 1069024); + assert(unsigned(zero_extend(0x104fe4, 64)) == 1069028); + assert(unsigned(zero_extend(0x104fe8, 64)) == 1069032); + assert(unsigned(zero_extend(0x104fec, 64)) == 1069036); + assert(unsigned(zero_extend(0x104ff0, 64)) == 1069040); + assert(unsigned(zero_extend(0x104ff4, 64)) == 1069044); + assert(unsigned(zero_extend(0x104ff8, 64)) == 1069048); + assert(unsigned(zero_extend(0x105008, 64)) == 1069064); + assert(unsigned(zero_extend(0x10500c, 64)) == 1069068); + assert(unsigned(zero_extend(0x105010, 64)) == 1069072); + assert(unsigned(zero_extend(0x105014, 64)) == 1069076); + assert(unsigned(zero_extend(0x105018, 64)) == 1069080); + assert(unsigned(zero_extend(0x10501c, 64)) == 1069084); + assert(unsigned(zero_extend(0x105020, 64)) == 1069088); + assert(unsigned(zero_extend(0x105024, 64)) == 1069092); + assert(unsigned(zero_extend(0x105028, 64)) == 1069096); + assert(unsigned(zero_extend(0x105034, 64)) == 1069108); + assert(unsigned(zero_extend(0x105038, 64)) == 1069112); + assert(unsigned(zero_extend(0x10503c, 64)) == 1069116); + assert(unsigned(zero_extend(0x105040, 64)) == 1069120); + assert(unsigned(zero_extend(0x105050, 64)) == 1069136); + assert(unsigned(zero_extend(0x105054, 64)) == 1069140); + assert(unsigned(zero_extend(0x105058, 64)) == 1069144); + assert(unsigned(zero_extend(0x10505c, 64)) == 1069148); + assert(unsigned(zero_extend(0x105060, 64)) == 1069152); + assert(unsigned(zero_extend(0x105064, 64)) == 1069156); + assert(unsigned(zero_extend(0x105068, 64)) == 1069160); + assert(unsigned(zero_extend(0x10506c, 64)) == 1069164); + assert(unsigned(zero_extend(0x105070, 64)) == 1069168); + assert(unsigned(zero_extend(0x105074, 64)) == 1069172); + assert(unsigned(zero_extend(0x105078, 64)) == 1069176); + assert(unsigned(zero_extend(0x10507c, 64)) == 1069180); + assert(unsigned(zero_extend(0x105080, 64)) == 1069184); + assert(unsigned(zero_extend(0x105084, 64)) == 1069188); + assert(unsigned(zero_extend(0x105088, 64)) == 1069192); + assert(unsigned(zero_extend(0x10508c, 64)) == 1069196); + assert(unsigned(zero_extend(0x105090, 64)) == 1069200); + assert(unsigned(zero_extend(0x105094, 64)) == 1069204); + assert(unsigned(zero_extend(0x105098, 64)) == 1069208); + assert(unsigned(zero_extend(0x10509c, 64)) == 1069212); + assert(unsigned(zero_extend(0x1050a0, 64)) == 1069216); + assert(unsigned(zero_extend(0x1050a4, 64)) == 1069220); + assert(unsigned(zero_extend(0x1050a8, 64)) == 1069224); + assert(unsigned(zero_extend(0x1050ac, 64)) == 1069228); + assert(unsigned(zero_extend(0x1050b0, 64)) == 1069232); + assert(unsigned(zero_extend(0x1050b4, 64)) == 1069236); + assert(unsigned(zero_extend(0x1050b8, 64)) == 1069240); + assert(unsigned(zero_extend(0x1050bc, 64)) == 1069244); + assert(unsigned(zero_extend(0x1050c0, 64)) == 1069248); + assert(unsigned(zero_extend(0x1050c4, 64)) == 1069252); + assert(unsigned(zero_extend(0x1050c8, 64)) == 1069256); + assert(unsigned(zero_extend(0x1050cc, 64)) == 1069260); + assert(unsigned(zero_extend(0x1050d0, 64)) == 1069264); + assert(unsigned(zero_extend(0x1050d4, 64)) == 1069268); + assert(unsigned(zero_extend(0x1050d8, 64)) == 1069272); + assert(unsigned(zero_extend(0x1050dc, 64)) == 1069276); + assert(unsigned(zero_extend(0x1050e0, 64)) == 1069280); + assert(unsigned(zero_extend(0x1050e4, 64)) == 1069284); + assert(unsigned(zero_extend(0x1050e8, 64)) == 1069288); + assert(unsigned(zero_extend(0x1050ec, 64)) == 1069292); + assert(unsigned(zero_extend(0x1050f0, 64)) == 1069296); + assert(unsigned(zero_extend(0x1050f4, 64)) == 1069300); + assert(unsigned(zero_extend(0x1050f8, 64)) == 1069304); + assert(unsigned(zero_extend(0x1050fc, 64)) == 1069308); + assert(unsigned(zero_extend(0x105100, 64)) == 1069312); + assert(unsigned(zero_extend(0x105110, 64)) == 1069328); + assert(unsigned(zero_extend(0x105114, 64)) == 1069332); + assert(unsigned(zero_extend(0x105118, 64)) == 1069336); + assert(unsigned(zero_extend(0x10511c, 64)) == 1069340); + assert(unsigned(zero_extend(0x105120, 64)) == 1069344); + assert(unsigned(zero_extend(0x105124, 64)) == 1069348); + assert(unsigned(zero_extend(0x105128, 64)) == 1069352); + assert(unsigned(zero_extend(0x105134, 64)) == 1069364); + assert(unsigned(zero_extend(0x105138, 64)) == 1069368); + assert(unsigned(zero_extend(0x10513c, 64)) == 1069372); + assert(unsigned(zero_extend(0x105140, 64)) == 1069376); + assert(unsigned(zero_extend(0x105150, 64)) == 1069392); + assert(unsigned(zero_extend(0x105154, 64)) == 1069396); + assert(unsigned(zero_extend(0x105158, 64)) == 1069400); + assert(unsigned(zero_extend(0x10515c, 64)) == 1069404); + assert(unsigned(zero_extend(0x105160, 64)) == 1069408); + assert(unsigned(zero_extend(0x105164, 64)) == 1069412); + assert(unsigned(zero_extend(0x105168, 64)) == 1069416); + assert(unsigned(zero_extend(0x10516c, 64)) == 1069420); + assert(unsigned(zero_extend(0x105170, 64)) == 1069424); + assert(unsigned(zero_extend(0x105174, 64)) == 1069428); + assert(unsigned(zero_extend(0x105178, 64)) == 1069432); + assert(unsigned(zero_extend(0x10517c, 64)) == 1069436); + assert(unsigned(zero_extend(0x105180, 64)) == 1069440); + assert(unsigned(zero_extend(0x105184, 64)) == 1069444); + assert(unsigned(zero_extend(0x105188, 64)) == 1069448); + assert(unsigned(zero_extend(0x10518c, 64)) == 1069452); + assert(unsigned(zero_extend(0x105190, 64)) == 1069456); + assert(unsigned(zero_extend(0x105194, 64)) == 1069460); + assert(unsigned(zero_extend(0x105198, 64)) == 1069464); + assert(unsigned(zero_extend(0x10519c, 64)) == 1069468); + assert(unsigned(zero_extend(0x1051a0, 64)) == 1069472); + assert(unsigned(zero_extend(0x1051a4, 64)) == 1069476); + assert(unsigned(zero_extend(0x1051a8, 64)) == 1069480); + assert(unsigned(zero_extend(0x1051ac, 64)) == 1069484); + assert(unsigned(zero_extend(0x1051b0, 64)) == 1069488); + assert(unsigned(zero_extend(0x1051b4, 64)) == 1069492); + assert(unsigned(zero_extend(0x1051b8, 64)) == 1069496); + assert(unsigned(zero_extend(0x1051bc, 64)) == 1069500); + assert(unsigned(zero_extend(0x1051c0, 64)) == 1069504); + assert(unsigned(zero_extend(0x1051c4, 64)) == 1069508); + assert(unsigned(zero_extend(0x1051c8, 64)) == 1069512); + assert(unsigned(zero_extend(0x1051cc, 64)) == 1069516); + assert(unsigned(zero_extend(0x1051d0, 64)) == 1069520); + assert(unsigned(zero_extend(0x1051d4, 64)) == 1069524); + assert(unsigned(zero_extend(0x1051d8, 64)) == 1069528); + assert(unsigned(zero_extend(0x1051dc, 64)) == 1069532); + assert(unsigned(zero_extend(0x1051e0, 64)) == 1069536); + assert(unsigned(zero_extend(0x1051e4, 64)) == 1069540); + assert(unsigned(zero_extend(0x1051e8, 64)) == 1069544); + assert(unsigned(zero_extend(0x1051ec, 64)) == 1069548); + assert(unsigned(zero_extend(0x1051f0, 64)) == 1069552); + assert(unsigned(zero_extend(0x1051f4, 64)) == 1069556); + assert(unsigned(zero_extend(0x1051f8, 64)) == 1069560); + assert(unsigned(zero_extend(0x1051fc, 64)) == 1069564); + assert(unsigned(zero_extend(0x105200, 64)) == 1069568); + assert(unsigned(zero_extend(0x105208, 64)) == 1069576); + assert(unsigned(zero_extend(0x10520c, 64)) == 1069580); + assert(unsigned(zero_extend(0x105210, 64)) == 1069584); + assert(unsigned(zero_extend(0x105214, 64)) == 1069588); + assert(unsigned(zero_extend(0x105218, 64)) == 1069592); + assert(unsigned(zero_extend(0x10521c, 64)) == 1069596); + assert(unsigned(zero_extend(0x105220, 64)) == 1069600); + assert(unsigned(zero_extend(0x105224, 64)) == 1069604); + assert(unsigned(zero_extend(0x105228, 64)) == 1069608); + assert(unsigned(zero_extend(0x105230, 64)) == 1069616); + assert(unsigned(zero_extend(0x105238, 64)) == 1069624); + assert(unsigned(zero_extend(0x105240, 64)) == 1069632); + assert(unsigned(zero_extend(0x105248, 64)) == 1069640); + assert(unsigned(zero_extend(0x10524c, 64)) == 1069644); + assert(unsigned(zero_extend(0x105250, 64)) == 1069648); + assert(unsigned(zero_extend(0x105254, 64)) == 1069652); + assert(unsigned(zero_extend(0x105258, 64)) == 1069656); + assert(unsigned(zero_extend(0x10525c, 64)) == 1069660); + assert(unsigned(zero_extend(0x105260, 64)) == 1069664); + assert(unsigned(zero_extend(0x105264, 64)) == 1069668); + assert(unsigned(zero_extend(0x105268, 64)) == 1069672); + assert(unsigned(zero_extend(0x10526c, 64)) == 1069676); + assert(unsigned(zero_extend(0x105270, 64)) == 1069680); + assert(unsigned(zero_extend(0x105274, 64)) == 1069684); + assert(unsigned(zero_extend(0x105278, 64)) == 1069688); + assert(unsigned(zero_extend(0x10527c, 64)) == 1069692); + assert(unsigned(zero_extend(0x10532c, 64)) == 1069868); + assert(unsigned(zero_extend(0x105330, 64)) == 1069872); + assert(unsigned(zero_extend(0x105334, 64)) == 1069876); + assert(unsigned(zero_extend(0x105338, 64)) == 1069880); + assert(unsigned(zero_extend(0x10533c, 64)) == 1069884); + assert(unsigned(zero_extend(0x105340, 64)) == 1069888); + assert(unsigned(zero_extend(0x105344, 64)) == 1069892); + assert(unsigned(zero_extend(0x105348, 64)) == 1069896); + assert(unsigned(zero_extend(0x10534c, 64)) == 1069900); + assert(unsigned(zero_extend(0x105350, 64)) == 1069904); + assert(unsigned(zero_extend(0x105354, 64)) == 1069908); + assert(unsigned(zero_extend(0x105358, 64)) == 1069912); + assert(unsigned(zero_extend(0x10535c, 64)) == 1069916); + assert(unsigned(zero_extend(0x105360, 64)) == 1069920); + assert(unsigned(zero_extend(0x105364, 64)) == 1069924); + assert(unsigned(zero_extend(0x105368, 64)) == 1069928); + assert(unsigned(zero_extend(0x10536c, 64)) == 1069932); + assert(unsigned(zero_extend(0x10537c, 64)) == 1069948); + assert(unsigned(zero_extend(0x105380, 64)) == 1069952); + assert(unsigned(zero_extend(0x105384, 64)) == 1069956); + assert(unsigned(zero_extend(0x105388, 64)) == 1069960); + assert(unsigned(zero_extend(0x10538c, 64)) == 1069964); + assert(unsigned(zero_extend(0x105390, 64)) == 1069968); + assert(unsigned(zero_extend(0x1053a0, 64)) == 1069984); + assert(unsigned(zero_extend(0x1053a4, 64)) == 1069988); + assert(unsigned(zero_extend(0x1053a8, 64)) == 1069992); + assert(unsigned(zero_extend(0x1053ac, 64)) == 1069996); + assert(unsigned(zero_extend(0x1053b0, 64)) == 1070000); + assert(unsigned(zero_extend(0x1053b4, 64)) == 1070004); + assert(unsigned(zero_extend(0x10544c, 64)) == 1070156); + assert(unsigned(zero_extend(0x105450, 64)) == 1070160); + assert(unsigned(zero_extend(0x105454, 64)) == 1070164); + assert(unsigned(zero_extend(0x105458, 64)) == 1070168); + assert(unsigned(zero_extend(0x10545c, 64)) == 1070172); + assert(unsigned(zero_extend(0x105468, 64)) == 1070184); + assert(unsigned(zero_extend(0x10546c, 64)) == 1070188); + assert(unsigned(zero_extend(0x105470, 64)) == 1070192); + assert(unsigned(zero_extend(0x105474, 64)) == 1070196); + assert(unsigned(zero_extend(0x105478, 64)) == 1070200); + assert(unsigned(zero_extend(0x10547c, 64)) == 1070204); + assert(unsigned(zero_extend(0x105480, 64)) == 1070208); + assert(unsigned(zero_extend(0x105484, 64)) == 1070212); + assert(unsigned(zero_extend(0x105490, 64)) == 1070224); + assert(unsigned(zero_extend(0x105494, 64)) == 1070228); + assert(unsigned(zero_extend(0x105498, 64)) == 1070232); + assert(unsigned(zero_extend(0x1054a0, 64)) == 1070240); + assert(unsigned(zero_extend(0x1054a8, 64)) == 1070248); + assert(unsigned(zero_extend(0x1054ac, 64)) == 1070252); + assert(unsigned(zero_extend(0x1054b0, 64)) == 1070256); + assert(unsigned(zero_extend(0x1054b4, 64)) == 1070260); + assert(unsigned(zero_extend(0x1054b8, 64)) == 1070264); + assert(unsigned(zero_extend(0x1054bc, 64)) == 1070268); + assert(unsigned(zero_extend(0x1054c0, 64)) == 1070272); + assert(unsigned(zero_extend(0x1054c4, 64)) == 1070276); + assert(unsigned(zero_extend(0x1054c8, 64)) == 1070280); + assert(unsigned(zero_extend(0x1054cc, 64)) == 1070284); + assert(unsigned(zero_extend(0x1054d0, 64)) == 1070288); + assert(unsigned(zero_extend(0x1054d4, 64)) == 1070292); + assert(unsigned(zero_extend(0x1054d8, 64)) == 1070296); + assert(unsigned(zero_extend(0x1054dc, 64)) == 1070300); + assert(unsigned(zero_extend(0x1054e0, 64)) == 1070304); + assert(unsigned(zero_extend(0x1054e4, 64)) == 1070308); + assert(unsigned(zero_extend(0x1054e8, 64)) == 1070312); + assert(unsigned(zero_extend(0x1054f0, 64)) == 1070320); + assert(unsigned(zero_extend(0x1054f8, 64)) == 1070328); + assert(unsigned(zero_extend(0x105500, 64)) == 1070336); + assert(unsigned(zero_extend(0x105508, 64)) == 1070344); + assert(unsigned(zero_extend(0x10550c, 64)) == 1070348); + assert(unsigned(zero_extend(0x105510, 64)) == 1070352); + assert(unsigned(zero_extend(0x105514, 64)) == 1070356); + assert(unsigned(zero_extend(0x105518, 64)) == 1070360); + assert(unsigned(zero_extend(0x10551c, 64)) == 1070364); + assert(unsigned(zero_extend(0x105520, 64)) == 1070368); + assert(unsigned(zero_extend(0x105524, 64)) == 1070372); + assert(unsigned(zero_extend(0x105528, 64)) == 1070376); + assert(unsigned(zero_extend(0x10552c, 64)) == 1070380); + assert(unsigned(zero_extend(0x105530, 64)) == 1070384); + assert(unsigned(zero_extend(0x105534, 64)) == 1070388); + assert(unsigned(zero_extend(0x105538, 64)) == 1070392); + assert(unsigned(zero_extend(0x10553c, 64)) == 1070396); + assert(unsigned(zero_extend(0x105540, 64)) == 1070400); + assert(unsigned(zero_extend(0x105544, 64)) == 1070404); + assert(unsigned(zero_extend(0x105548, 64)) == 1070408); + assert(unsigned(zero_extend(0x10554c, 64)) == 1070412); + assert(unsigned(zero_extend(0x105550, 64)) == 1070416); + assert(unsigned(zero_extend(0x105554, 64)) == 1070420); + assert(unsigned(zero_extend(0x105558, 64)) == 1070424); + assert(unsigned(zero_extend(0x105560, 64)) == 1070432); + assert(unsigned(zero_extend(0x105568, 64)) == 1070440); + assert(unsigned(zero_extend(0x105570, 64)) == 1070448); + assert(unsigned(zero_extend(0x105574, 64)) == 1070452); + assert(unsigned(zero_extend(0x105578, 64)) == 1070456); + assert(unsigned(zero_extend(0x10557c, 64)) == 1070460); + assert(unsigned(zero_extend(0x105580, 64)) == 1070464); + assert(unsigned(zero_extend(0x105584, 64)) == 1070468); + assert(unsigned(zero_extend(0x105588, 64)) == 1070472); + assert(unsigned(zero_extend(0x10558c, 64)) == 1070476); + assert(unsigned(zero_extend(0x105590, 64)) == 1070480); + assert(unsigned(zero_extend(0x105594, 64)) == 1070484); + assert(unsigned(zero_extend(0x105598, 64)) == 1070488); + assert(unsigned(zero_extend(0x10559c, 64)) == 1070492); + assert(unsigned(zero_extend(0x1055a0, 64)) == 1070496); + assert(unsigned(zero_extend(0x1055a4, 64)) == 1070500); + assert(unsigned(zero_extend(0x1055a8, 64)) == 1070504); + assert(unsigned(zero_extend(0x1055ac, 64)) == 1070508); + assert(unsigned(zero_extend(0x1055b0, 64)) == 1070512); + assert(unsigned(zero_extend(0x1055b4, 64)) == 1070516); + assert(unsigned(zero_extend(0x1055b8, 64)) == 1070520); + assert(unsigned(zero_extend(0x1055bc, 64)) == 1070524); + assert(unsigned(zero_extend(0x1055c0, 64)) == 1070528); + assert(unsigned(zero_extend(0x1055c4, 64)) == 1070532); + assert(unsigned(zero_extend(0x1055c8, 64)) == 1070536); + assert(unsigned(zero_extend(0x1055cc, 64)) == 1070540); + assert(unsigned(zero_extend(0x1055d0, 64)) == 1070544); + assert(unsigned(zero_extend(0x1055dc, 64)) == 1070556); + assert(unsigned(zero_extend(0x1055e0, 64)) == 1070560); + assert(unsigned(zero_extend(0x1055e8, 64)) == 1070568); + assert(unsigned(zero_extend(0x1055ec, 64)) == 1070572); + assert(unsigned(zero_extend(0x1055f0, 64)) == 1070576); + assert(unsigned(zero_extend(0x1055f4, 64)) == 1070580); + assert(unsigned(zero_extend(0x1055f8, 64)) == 1070584); + assert(unsigned(zero_extend(0x1055fc, 64)) == 1070588); + assert(unsigned(zero_extend(0x105610, 64)) == 1070608); + assert(unsigned(zero_extend(0x105614, 64)) == 1070612); + assert(unsigned(zero_extend(0x105644, 64)) == 1070660); + assert(unsigned(zero_extend(0x105648, 64)) == 1070664); + assert(unsigned(zero_extend(0x10564c, 64)) == 1070668); + assert(unsigned(zero_extend(0x10568c, 64)) == 1070732); + assert(unsigned(zero_extend(0x105690, 64)) == 1070736); + assert(unsigned(zero_extend(0x105694, 64)) == 1070740); + assert(unsigned(zero_extend(0x105698, 64)) == 1070744); + assert(unsigned(zero_extend(0x10569c, 64)) == 1070748); + assert(unsigned(zero_extend(0x1056a0, 64)) == 1070752); + assert(unsigned(zero_extend(0x1056a4, 64)) == 1070756); + assert(unsigned(zero_extend(0x1056a8, 64)) == 1070760); + assert(unsigned(zero_extend(0x1056ac, 64)) == 1070764); + assert(unsigned(zero_extend(0x1056b0, 64)) == 1070768); + assert(unsigned(zero_extend(0x1056b4, 64)) == 1070772); + assert(unsigned(zero_extend(0x1056b8, 64)) == 1070776); + assert(unsigned(zero_extend(0x1056bc, 64)) == 1070780); + assert(unsigned(zero_extend(0x1056c0, 64)) == 1070784); + assert(unsigned(zero_extend(0x1056c4, 64)) == 1070788); + assert(unsigned(zero_extend(0x1056c8, 64)) == 1070792); + assert(unsigned(zero_extend(0x1056cc, 64)) == 1070796); + assert(unsigned(zero_extend(0x1056d0, 64)) == 1070800); + assert(unsigned(zero_extend(0x1056d4, 64)) == 1070804); + assert(unsigned(zero_extend(0x1056d8, 64)) == 1070808); + assert(unsigned(zero_extend(0x1056dc, 64)) == 1070812); + assert(unsigned(zero_extend(0x1056e0, 64)) == 1070816); + assert(unsigned(zero_extend(0x1056e4, 64)) == 1070820); + assert(unsigned(zero_extend(0x1056e8, 64)) == 1070824); + assert(unsigned(zero_extend(0x1056ec, 64)) == 1070828); + assert(unsigned(zero_extend(0x1056f0, 64)) == 1070832); + assert(unsigned(zero_extend(0x1056f4, 64)) == 1070836); + assert(unsigned(zero_extend(0x1056f8, 64)) == 1070840); + assert(unsigned(zero_extend(0x1056fc, 64)) == 1070844); + assert(unsigned(zero_extend(0x105700, 64)) == 1070848); + assert(unsigned(zero_extend(0x105704, 64)) == 1070852); + assert(unsigned(zero_extend(0x105708, 64)) == 1070856); + assert(unsigned(zero_extend(0x10570c, 64)) == 1070860); + assert(unsigned(zero_extend(0x105710, 64)) == 1070864); + assert(unsigned(zero_extend(0x105714, 64)) == 1070868); + assert(unsigned(zero_extend(0x105718, 64)) == 1070872); + assert(unsigned(zero_extend(0x10571c, 64)) == 1070876); + assert(unsigned(zero_extend(0x105720, 64)) == 1070880); + assert(unsigned(zero_extend(0x105724, 64)) == 1070884); + assert(unsigned(zero_extend(0x105728, 64)) == 1070888); + assert(unsigned(zero_extend(0x10572c, 64)) == 1070892); + assert(unsigned(zero_extend(0x105730, 64)) == 1070896); + assert(unsigned(zero_extend(0x105734, 64)) == 1070900); + assert(unsigned(zero_extend(0x105738, 64)) == 1070904); + assert(unsigned(zero_extend(0x10573c, 64)) == 1070908); + assert(unsigned(zero_extend(0x105740, 64)) == 1070912); + assert(unsigned(zero_extend(0x105744, 64)) == 1070916); + assert(unsigned(zero_extend(0x105748, 64)) == 1070920); + assert(unsigned(zero_extend(0x10574c, 64)) == 1070924); + assert(unsigned(zero_extend(0x105750, 64)) == 1070928); + assert(unsigned(zero_extend(0x105754, 64)) == 1070932); + assert(unsigned(zero_extend(0x105758, 64)) == 1070936); + assert(unsigned(zero_extend(0x10575c, 64)) == 1070940); + assert(unsigned(zero_extend(0x105760, 64)) == 1070944); + assert(unsigned(zero_extend(0x105764, 64)) == 1070948); + assert(unsigned(zero_extend(0x105768, 64)) == 1070952); + assert(unsigned(zero_extend(0x10576c, 64)) == 1070956); + assert(unsigned(zero_extend(0x105770, 64)) == 1070960); + assert(unsigned(zero_extend(0x105774, 64)) == 1070964); + assert(unsigned(zero_extend(0x105778, 64)) == 1070968); + assert(unsigned(zero_extend(0x105780, 64)) == 1070976); + assert(unsigned(zero_extend(0x1057a8, 64)) == 1071016); + assert(unsigned(zero_extend(0x1057b0, 64)) == 1071024); + assert(unsigned(zero_extend(0x1057b8, 64)) == 1071032); + assert(unsigned(zero_extend(0x1057c0, 64)) == 1071040); + assert(unsigned(zero_extend(0x1057c8, 64)) == 1071048); + assert(unsigned(zero_extend(0x1057d0, 64)) == 1071056); + assert(unsigned(zero_extend(0x1057d8, 64)) == 1071064); + assert(unsigned(zero_extend(0x1057e0, 64)) == 1071072); + assert(unsigned(zero_extend(0x1057e8, 64)) == 1071080); + assert(unsigned(zero_extend(0x1057f0, 64)) == 1071088); + assert(unsigned(zero_extend(0x1057f8, 64)) == 1071096); + assert(unsigned(zero_extend(0x105800, 64)) == 1071104); + assert(unsigned(zero_extend(0x105808, 64)) == 1071112); + assert(unsigned(zero_extend(0x105810, 64)) == 1071120); + assert(unsigned(zero_extend(0x105818, 64)) == 1071128); + assert(unsigned(zero_extend(0x105820, 64)) == 1071136); + assert(unsigned(zero_extend(0x105828, 64)) == 1071144); + assert(unsigned(zero_extend(0x105830, 64)) == 1071152); + assert(unsigned(zero_extend(0x105838, 64)) == 1071160); + assert(unsigned(zero_extend(0x105840, 64)) == 1071168); + assert(unsigned(zero_extend(0x105848, 64)) == 1071176); + assert(unsigned(zero_extend(0x105850, 64)) == 1071184); + assert(unsigned(zero_extend(0x105858, 64)) == 1071192); + assert(unsigned(zero_extend(0x10585c, 64)) == 1071196); + assert(unsigned(zero_extend(0x105860, 64)) == 1071200); + assert(unsigned(zero_extend(0x105864, 64)) == 1071204); + assert(unsigned(zero_extend(0x105868, 64)) == 1071208); + assert(unsigned(zero_extend(0x10586c, 64)) == 1071212); + assert(unsigned(zero_extend(0x105870, 64)) == 1071216); + assert(unsigned(zero_extend(0x105874, 64)) == 1071220); + assert(unsigned(zero_extend(0x105878, 64)) == 1071224); + assert(unsigned(zero_extend(0x10587c, 64)) == 1071228); + assert(unsigned(zero_extend(0x105880, 64)) == 1071232); + assert(unsigned(zero_extend(0x105884, 64)) == 1071236); + assert(unsigned(zero_extend(0x105888, 64)) == 1071240); + assert(unsigned(zero_extend(0x10588c, 64)) == 1071244); + assert(unsigned(zero_extend(0x105890, 64)) == 1071248); + assert(unsigned(zero_extend(0x105894, 64)) == 1071252); + assert(unsigned(zero_extend(0x105898, 64)) == 1071256); + assert(unsigned(zero_extend(0x10589c, 64)) == 1071260); + assert(unsigned(zero_extend(0x1058a0, 64)) == 1071264); + assert(unsigned(zero_extend(0x1058a4, 64)) == 1071268); + assert(unsigned(zero_extend(0x1058a8, 64)) == 1071272); + assert(unsigned(zero_extend(0x10764c321, 64)) == 4419011361); + assert(unsigned(zero_extend(0x108, 64)) == 264); + assert(unsigned(zero_extend(0x10ec4, 64)) == 69316); + assert(unsigned(zero_extend(0x10ec8, 64)) == 69320); + assert(unsigned(zero_extend(0x10ecc, 64)) == 69324); + assert(unsigned(zero_extend(0x10ed0, 64)) == 69328); + assert(unsigned(zero_extend(0x10ed4, 64)) == 69332); + assert(unsigned(zero_extend(0x10ed8, 64)) == 69336); + assert(unsigned(zero_extend(0x10edc, 64)) == 69340); + assert(unsigned(zero_extend(0x10ee0, 64)) == 69344); + assert(unsigned(zero_extend(0x10ee4, 64)) == 69348); + assert(unsigned(zero_extend(0x10ee8, 64)) == 69352); + assert(unsigned(zero_extend(0x10eec, 64)) == 69356); + assert(unsigned(zero_extend(0x10ef0, 64)) == 69360); + assert(unsigned(zero_extend(0x10ef4, 64)) == 69364); + assert(unsigned(zero_extend(0x10ef8, 64)) == 69368); + assert(unsigned(zero_extend(0x10efc, 64)) == 69372); + assert(unsigned(zero_extend(0x10f00, 64)) == 69376); + assert(unsigned(zero_extend(0x10f04, 64)) == 69380); + assert(unsigned(zero_extend(0x10f08, 64)) == 69384); + assert(unsigned(zero_extend(0x10f0c, 64)) == 69388); + assert(unsigned(zero_extend(0x10f10, 64)) == 69392); + assert(unsigned(zero_extend(0x10f14, 64)) == 69396); + assert(unsigned(zero_extend(0x10f18, 64)) == 69400); + assert(unsigned(zero_extend(0x10f1c, 64)) == 69404); + assert(unsigned(zero_extend(0x10f20, 64)) == 69408); + assert(unsigned(zero_extend(0x10f24, 64)) == 69412); + assert(unsigned(zero_extend(0x10f28, 64)) == 69416); + assert(unsigned(zero_extend(0x10f2c, 64)) == 69420); + assert(unsigned(zero_extend(0x10f30, 64)) == 69424); + assert(unsigned(zero_extend(0x10f34, 64)) == 69428); + assert(unsigned(zero_extend(0x10f38, 64)) == 69432); + assert(unsigned(zero_extend(0x10f3c, 64)) == 69436); + assert(unsigned(zero_extend(0x10f40, 64)) == 69440); + assert(unsigned(zero_extend(0x10f44, 64)) == 69444); + assert(unsigned(zero_extend(0x10f48, 64)) == 69448); + assert(unsigned(zero_extend(0x10f4c, 64)) == 69452); + assert(unsigned(zero_extend(0x10f50, 64)) == 69456); + assert(unsigned(zero_extend(0x10f54, 64)) == 69460); + assert(unsigned(zero_extend(0x10f58, 64)) == 69464); + assert(unsigned(zero_extend(0x10f5c, 64)) == 69468); + assert(unsigned(zero_extend(0x10f60, 64)) == 69472); + assert(unsigned(zero_extend(0x10f64, 64)) == 69476); + assert(unsigned(zero_extend(0x10f68, 64)) == 69480); + assert(unsigned(zero_extend(0x10f6c, 64)) == 69484); + assert(unsigned(zero_extend(0x11, 64)) == 17); + assert(unsigned(zero_extend(0x110, 64)) == 272); + assert(unsigned(zero_extend(0x11150, 64)) == 69968); + assert(unsigned(zero_extend(0x11223344, 64)) == 287454020); + assert(unsigned(zero_extend(0x1122334411223344, 64)) == 1234605615291183940); + assert(unsigned(zero_extend(0x118, 64)) == 280); + assert(unsigned(zero_extend(0x12, 64)) == 18); + assert(unsigned(zero_extend(0x120, 64)) == 288); + assert(unsigned(zero_extend(0x1200, 64)) == 4608); + assert(unsigned(zero_extend(0x120005c, 64)) == 18874460); + assert(unsigned(zero_extend(0x1200060, 64)) == 18874464); + assert(unsigned(zero_extend(0x1200064, 64)) == 18874468); + assert(unsigned(zero_extend(0x1220, 64)) == 4640); + assert(unsigned(zero_extend(0x12200078, 64)) == 304087160); + assert(unsigned(zero_extend(0x1220007c, 64)) == 304087164); + assert(unsigned(zero_extend(0x12200080, 64)) == 304087168); + assert(unsigned(zero_extend(0x1234, 64)) == 4660); + assert(unsigned(zero_extend(0x12345678, 64)) == 305419896); + assert(unsigned(zero_extend(0x123456789abcdef0, 64)) == 1311768467463790320); + assert(unsigned(zero_extend(0x123456789abcdef1, 64)) == 1311768467463790321); + assert(unsigned(zero_extend(0x123c, 64)) == 4668); + assert(unsigned(zero_extend(0x12500000, 64)) == 307232768); + assert(unsigned(zero_extend(0x12500004, 64)) == 307232772); + assert(unsigned(zero_extend(0x12500008, 64)) == 307232776); + assert(unsigned(zero_extend(0x12500010, 64)) == 307232784); + assert(unsigned(zero_extend(0x12500014, 64)) == 307232788); + assert(unsigned(zero_extend(0x12500018, 64)) == 307232792); + assert(unsigned(zero_extend(0x12500020, 64)) == 307232800); + assert(unsigned(zero_extend(0x12500024, 64)) == 307232804); + assert(unsigned(zero_extend(0x12500028, 64)) == 307232808); + assert(unsigned(zero_extend(0x12500030, 64)) == 307232816); + assert(unsigned(zero_extend(0x12500034, 64)) == 307232820); + assert(unsigned(zero_extend(0x12500038, 64)) == 307232824); + assert(unsigned(zero_extend(0x12500040, 64)) == 307232832); + assert(unsigned(zero_extend(0x12500044, 64)) == 307232836); + assert(unsigned(zero_extend(0x12500048, 64)) == 307232840); + assert(unsigned(zero_extend(0x1250004c, 64)) == 307232844); + assert(unsigned(zero_extend(0x12500050, 64)) == 307232848); + assert(unsigned(zero_extend(0x12500054, 64)) == 307232852); + assert(unsigned(zero_extend(0x12500058, 64)) == 307232856); + assert(unsigned(zero_extend(0x1250005c, 64)) == 307232860); + assert(unsigned(zero_extend(0x12500060, 64)) == 307232864); + assert(unsigned(zero_extend(0x12500064, 64)) == 307232868); + assert(unsigned(zero_extend(0x12500068, 64)) == 307232872); + assert(unsigned(zero_extend(0x1250006c, 64)) == 307232876); + assert(unsigned(zero_extend(0x12500070, 64)) == 307232880); + assert(unsigned(zero_extend(0x12500074, 64)) == 307232884); + assert(unsigned(zero_extend(0x12500078, 64)) == 307232888); + assert(unsigned(zero_extend(0x1250007c, 64)) == 307232892); + assert(unsigned(zero_extend(0x12500080, 64)) == 307232896); + assert(unsigned(zero_extend(0x12500084, 64)) == 307232900); + assert(unsigned(zero_extend(0x12500088, 64)) == 307232904); + assert(unsigned(zero_extend(0x1250008c, 64)) == 307232908); + assert(unsigned(zero_extend(0x12500090, 64)) == 307232912); + assert(unsigned(zero_extend(0x12500094, 64)) == 307232916); + assert(unsigned(zero_extend(0x12500098, 64)) == 307232920); + assert(unsigned(zero_extend(0x12570, 64)) == 75120); + assert(unsigned(zero_extend(0x12574, 64)) == 75124); + assert(unsigned(zero_extend(0x12578, 64)) == 75128); + assert(unsigned(zero_extend(0x1257c, 64)) == 75132); + assert(unsigned(zero_extend(0x12580, 64)) == 75136); + assert(unsigned(zero_extend(0x12584, 64)) == 75140); + assert(unsigned(zero_extend(0x12588, 64)) == 75144); + assert(unsigned(zero_extend(0x1258c, 64)) == 75148); + assert(unsigned(zero_extend(0x12590, 64)) == 75152); + assert(unsigned(zero_extend(0x12594, 64)) == 75156); + assert(unsigned(zero_extend(0x12598, 64)) == 75160); + assert(unsigned(zero_extend(0x1259c, 64)) == 75164); + assert(unsigned(zero_extend(0x125a0, 64)) == 75168); + assert(unsigned(zero_extend(0x125a4, 64)) == 75172); + assert(unsigned(zero_extend(0x125a8, 64)) == 75176); + assert(unsigned(zero_extend(0x125ac, 64)) == 75180); + assert(unsigned(zero_extend(0x125b0, 64)) == 75184); + assert(unsigned(zero_extend(0x125b4, 64)) == 75188); + assert(unsigned(zero_extend(0x125b8, 64)) == 75192); + assert(unsigned(zero_extend(0x125bc, 64)) == 75196); + assert(unsigned(zero_extend(0x125c0, 64)) == 75200); + assert(unsigned(zero_extend(0x125c4, 64)) == 75204); + assert(unsigned(zero_extend(0x125c8, 64)) == 75208); + assert(unsigned(zero_extend(0x125cc, 64)) == 75212); + assert(unsigned(zero_extend(0x125d0, 64)) == 75216); + assert(unsigned(zero_extend(0x125d4, 64)) == 75220); + assert(unsigned(zero_extend(0x125d8, 64)) == 75224); + assert(unsigned(zero_extend(0x125dc, 64)) == 75228); + assert(unsigned(zero_extend(0x125e0, 64)) == 75232); + assert(unsigned(zero_extend(0x125e4, 64)) == 75236); + assert(unsigned(zero_extend(0x125e8, 64)) == 75240); + assert(unsigned(zero_extend(0x125ec, 64)) == 75244); + assert(unsigned(zero_extend(0x125f0, 64)) == 75248); + assert(unsigned(zero_extend(0x125f4, 64)) == 75252); + assert(unsigned(zero_extend(0x125f8, 64)) == 75256); + assert(unsigned(zero_extend(0x125fc, 64)) == 75260); + assert(unsigned(zero_extend(0x12600, 64)) == 75264); + assert(unsigned(zero_extend(0x12600000, 64)) == 308281344); + assert(unsigned(zero_extend(0x12600004, 64)) == 308281348); + assert(unsigned(zero_extend(0x12600008, 64)) == 308281352); + assert(unsigned(zero_extend(0x12600010, 64)) == 308281360); + assert(unsigned(zero_extend(0x12600014, 64)) == 308281364); + assert(unsigned(zero_extend(0x12600018, 64)) == 308281368); + assert(unsigned(zero_extend(0x12600020, 64)) == 308281376); + assert(unsigned(zero_extend(0x12600024, 64)) == 308281380); + assert(unsigned(zero_extend(0x12600028, 64)) == 308281384); + assert(unsigned(zero_extend(0x12600030, 64)) == 308281392); + assert(unsigned(zero_extend(0x12600034, 64)) == 308281396); + assert(unsigned(zero_extend(0x12600038, 64)) == 308281400); + assert(unsigned(zero_extend(0x12600040, 64)) == 308281408); + assert(unsigned(zero_extend(0x12600044, 64)) == 308281412); + assert(unsigned(zero_extend(0x12600048, 64)) == 308281416); + assert(unsigned(zero_extend(0x12600050, 64)) == 308281424); + assert(unsigned(zero_extend(0x12600054, 64)) == 308281428); + assert(unsigned(zero_extend(0x12600058, 64)) == 308281432); + assert(unsigned(zero_extend(0x1260005c, 64)) == 308281436); + assert(unsigned(zero_extend(0x12600060, 64)) == 308281440); + assert(unsigned(zero_extend(0x12600064, 64)) == 308281444); + assert(unsigned(zero_extend(0x12600068, 64)) == 308281448); + assert(unsigned(zero_extend(0x1260006c, 64)) == 308281452); + assert(unsigned(zero_extend(0x12600070, 64)) == 308281456); + assert(unsigned(zero_extend(0x12600074, 64)) == 308281460); + assert(unsigned(zero_extend(0x12600078, 64)) == 308281464); + assert(unsigned(zero_extend(0x1260007c, 64)) == 308281468); + assert(unsigned(zero_extend(0x12600080, 64)) == 308281472); + assert(unsigned(zero_extend(0x12600084, 64)) == 308281476); + assert(unsigned(zero_extend(0x12600088, 64)) == 308281480); + assert(unsigned(zero_extend(0x1260008c, 64)) == 308281484); + assert(unsigned(zero_extend(0x12600090, 64)) == 308281488); + assert(unsigned(zero_extend(0x12600094, 64)) == 308281492); + assert(unsigned(zero_extend(0x12600098, 64)) == 308281496); + assert(unsigned(zero_extend(0x1260009c, 64)) == 308281500); + assert(unsigned(zero_extend(0x126000a0, 64)) == 308281504); + assert(unsigned(zero_extend(0x126000a4, 64)) == 308281508); + assert(unsigned(zero_extend(0x126000a8, 64)) == 308281512); + assert(unsigned(zero_extend(0x12604, 64)) == 75268); + assert(unsigned(zero_extend(0x12608, 64)) == 75272); + assert(unsigned(zero_extend(0x1260c, 64)) == 75276); + assert(unsigned(zero_extend(0x12610, 64)) == 75280); + assert(unsigned(zero_extend(0x12620, 64)) == 75296); + assert(unsigned(zero_extend(0x12860, 64)) == 75872); + assert(unsigned(zero_extend(0x13, 64)) == 19); + assert(unsigned(zero_extend(0x13000000, 64)) == 318767104); + assert(unsigned(zero_extend(0x1300368, 64)) == 19923816); + assert(unsigned(zero_extend(0x130036c, 64)) == 19923820); + assert(unsigned(zero_extend(0x1300370, 64)) == 19923824); + assert(unsigned(zero_extend(0x13004b8, 64)) == 19924152); + assert(unsigned(zero_extend(0x13004bc, 64)) == 19924156); + assert(unsigned(zero_extend(0x13004c0, 64)) == 19924160); + assert(unsigned(zero_extend(0x1300608, 64)) == 19924488); + assert(unsigned(zero_extend(0x130060c, 64)) == 19924492); + assert(unsigned(zero_extend(0x1300610, 64)) == 19924496); + assert(unsigned(zero_extend(0x1300910, 64)) == 19925264); + assert(unsigned(zero_extend(0x1300914, 64)) == 19925268); + assert(unsigned(zero_extend(0x1300918, 64)) == 19925272); + assert(unsigned(zero_extend(0x13f8754, 64)) == 20940628); + assert(unsigned(zero_extend(0x13f8758, 64)) == 20940632); + assert(unsigned(zero_extend(0x13f875c, 64)) == 20940636); + assert(unsigned(zero_extend(0x13f88a4, 64)) == 20940964); + assert(unsigned(zero_extend(0x13f88a8, 64)) == 20940968); + assert(unsigned(zero_extend(0x13f88ac, 64)) == 20940972); + assert(unsigned(zero_extend(0x14, 64)) == 20); + assert(unsigned(zero_extend(0x140, 64)) == 320); + assert(unsigned(zero_extend(0x1400000, 64)) == 20971520); + assert(unsigned(zero_extend(0x1400004, 64)) == 20971524); + assert(unsigned(zero_extend(0x1400005, 64)) == 20971525); + assert(unsigned(zero_extend(0x1400006, 64)) == 20971526); + assert(unsigned(zero_extend(0x1400007, 64)) == 20971527); + assert(unsigned(zero_extend(0x1400008, 64)) == 20971528); + assert(unsigned(zero_extend(0x1400009, 64)) == 20971529); + assert(unsigned(zero_extend(0x140000a, 64)) == 20971530); + assert(unsigned(zero_extend(0x140000b, 64)) == 20971531); + assert(unsigned(zero_extend(0x140000c, 64)) == 20971532); + assert(unsigned(zero_extend(0x140000d, 64)) == 20971533); + assert(unsigned(zero_extend(0x140000e, 64)) == 20971534); + assert(unsigned(zero_extend(0x140000f, 64)) == 20971535); + assert(unsigned(zero_extend(0x1400010, 64)) == 20971536); + assert(unsigned(zero_extend(0x1400011, 64)) == 20971537); + assert(unsigned(zero_extend(0x1400014, 64)) == 20971540); + assert(unsigned(zero_extend(0x1400018, 64)) == 20971544); + assert(unsigned(zero_extend(0x140001c, 64)) == 20971548); + assert(unsigned(zero_extend(0x1400020, 64)) == 20971552); + assert(unsigned(zero_extend(0x1400024, 64)) == 20971556); + assert(unsigned(zero_extend(0x1400028, 64)) == 20971560); + assert(unsigned(zero_extend(0x140002c, 64)) == 20971564); + assert(unsigned(zero_extend(0x1400030, 64)) == 20971568); + assert(unsigned(zero_extend(0x1400038, 64)) == 20971576); + assert(unsigned(zero_extend(0x140003c, 64)) == 20971580); + assert(unsigned(zero_extend(0x1400044, 64)) == 20971588); + assert(unsigned(zero_extend(0x1400048, 64)) == 20971592); + assert(unsigned(zero_extend(0x140004c, 64)) == 20971596); + assert(unsigned(zero_extend(0x1400050, 64)) == 20971600); + assert(unsigned(zero_extend(0x1400054, 64)) == 20971604); + assert(unsigned(zero_extend(0x1400058, 64)) == 20971608); + assert(unsigned(zero_extend(0x140005c, 64)) == 20971612); + assert(unsigned(zero_extend(0x1400060, 64)) == 20971616); + assert(unsigned(zero_extend(0x1400064, 64)) == 20971620); + assert(unsigned(zero_extend(0x1400068, 64)) == 20971624); + assert(unsigned(zero_extend(0x1400070, 64)) == 20971632); + assert(unsigned(zero_extend(0x1400074, 64)) == 20971636); + assert(unsigned(zero_extend(0x1400080, 64)) == 20971648); + assert(unsigned(zero_extend(0x1400084, 64)) == 20971652); + assert(unsigned(zero_extend(0x1400088, 64)) == 20971656); + assert(unsigned(zero_extend(0x140008c, 64)) == 20971660); + assert(unsigned(zero_extend(0x1400090, 64)) == 20971664); + assert(unsigned(zero_extend(0x1400094, 64)) == 20971668); + assert(unsigned(zero_extend(0x1400098, 64)) == 20971672); + assert(unsigned(zero_extend(0x140009c, 64)) == 20971676); + assert(unsigned(zero_extend(0x14000a0, 64)) == 20971680); + assert(unsigned(zero_extend(0x14000a4, 64)) == 20971684); + assert(unsigned(zero_extend(0x14000a8, 64)) == 20971688); + assert(unsigned(zero_extend(0x14000ac, 64)) == 20971692); + assert(unsigned(zero_extend(0x14000b0, 64)) == 20971696); + assert(unsigned(zero_extend(0x14000b4, 64)) == 20971700); + assert(unsigned(zero_extend(0x14000b8, 64)) == 20971704); + assert(unsigned(zero_extend(0x14000bc, 64)) == 20971708); + assert(unsigned(zero_extend(0x14000c0, 64)) == 20971712); + assert(unsigned(zero_extend(0x14000c4, 64)) == 20971716); + assert(unsigned(zero_extend(0x14000c8, 64)) == 20971720); + assert(unsigned(zero_extend(0x14000cc, 64)) == 20971724); + assert(unsigned(zero_extend(0x14000d0, 64)) == 20971728); + assert(unsigned(zero_extend(0x14000d4, 64)) == 20971732); + assert(unsigned(zero_extend(0x14000d8, 64)) == 20971736); + assert(unsigned(zero_extend(0x14000dc, 64)) == 20971740); + assert(unsigned(zero_extend(0x14000e0, 64)) == 20971744); + assert(unsigned(zero_extend(0x14000e4, 64)) == 20971748); + assert(unsigned(zero_extend(0x14000e8, 64)) == 20971752); + assert(unsigned(zero_extend(0x14000ec, 64)) == 20971756); + assert(unsigned(zero_extend(0x14000f0, 64)) == 20971760); + assert(unsigned(zero_extend(0x14000f4, 64)) == 20971764); + assert(unsigned(zero_extend(0x14000f8, 64)) == 20971768); + assert(unsigned(zero_extend(0x1400100, 64)) == 20971776); + assert(unsigned(zero_extend(0x1400104, 64)) == 20971780); + assert(unsigned(zero_extend(0x1400108, 64)) == 20971784); + assert(unsigned(zero_extend(0x140010c, 64)) == 20971788); + assert(unsigned(zero_extend(0x1400110, 64)) == 20971792); + assert(unsigned(zero_extend(0x1400114, 64)) == 20971796); + assert(unsigned(zero_extend(0x1400118, 64)) == 20971800); + assert(unsigned(zero_extend(0x140011c, 64)) == 20971804); + assert(unsigned(zero_extend(0x1400120, 64)) == 20971808); + assert(unsigned(zero_extend(0x1400124, 64)) == 20971812); + assert(unsigned(zero_extend(0x1400128, 64)) == 20971816); + assert(unsigned(zero_extend(0x140012c, 64)) == 20971820); + assert(unsigned(zero_extend(0x1400130, 64)) == 20971824); + assert(unsigned(zero_extend(0x1400134, 64)) == 20971828); + assert(unsigned(zero_extend(0x1400138, 64)) == 20971832); + assert(unsigned(zero_extend(0x140013c, 64)) == 20971836); + assert(unsigned(zero_extend(0x1400140, 64)) == 20971840); + assert(unsigned(zero_extend(0x1400148, 64)) == 20971848); + assert(unsigned(zero_extend(0x140014c, 64)) == 20971852); + assert(unsigned(zero_extend(0x1400154, 64)) == 20971860); + assert(unsigned(zero_extend(0x1400158, 64)) == 20971864); + assert(unsigned(zero_extend(0x140015c, 64)) == 20971868); + assert(unsigned(zero_extend(0x1400160, 64)) == 20971872); + assert(unsigned(zero_extend(0x1400164, 64)) == 20971876); + assert(unsigned(zero_extend(0x1400168, 64)) == 20971880); + assert(unsigned(zero_extend(0x140016c, 64)) == 20971884); + assert(unsigned(zero_extend(0x1400170, 64)) == 20971888); + assert(unsigned(zero_extend(0x1400174, 64)) == 20971892); + assert(unsigned(zero_extend(0x1400178, 64)) == 20971896); + assert(unsigned(zero_extend(0x140017c, 64)) == 20971900); + assert(unsigned(zero_extend(0x1400180, 64)) == 20971904); + assert(unsigned(zero_extend(0x1400184, 64)) == 20971908); + assert(unsigned(zero_extend(0x1400188, 64)) == 20971912); + assert(unsigned(zero_extend(0x1400190, 64)) == 20971920); + assert(unsigned(zero_extend(0x1400194, 64)) == 20971924); + assert(unsigned(zero_extend(0x1400198, 64)) == 20971928); + assert(unsigned(zero_extend(0x140019c, 64)) == 20971932); + assert(unsigned(zero_extend(0x14001a0, 64)) == 20971936); + assert(unsigned(zero_extend(0x14001a4, 64)) == 20971940); + assert(unsigned(zero_extend(0x14001a8, 64)) == 20971944); + assert(unsigned(zero_extend(0x14001ac, 64)) == 20971948); + assert(unsigned(zero_extend(0x14001b0, 64)) == 20971952); + assert(unsigned(zero_extend(0x14001b4, 64)) == 20971956); + assert(unsigned(zero_extend(0x14001b8, 64)) == 20971960); + assert(unsigned(zero_extend(0x14001bc, 64)) == 20971964); + assert(unsigned(zero_extend(0x14001c0, 64)) == 20971968); + assert(unsigned(zero_extend(0x14001c4, 64)) == 20971972); + assert(unsigned(zero_extend(0x14001c8, 64)) == 20971976); + assert(unsigned(zero_extend(0x14001cc, 64)) == 20971980); + assert(unsigned(zero_extend(0x14001d0, 64)) == 20971984); + assert(unsigned(zero_extend(0x14001d8, 64)) == 20971992); + assert(unsigned(zero_extend(0x14001dc, 64)) == 20971996); + assert(unsigned(zero_extend(0x14001e4, 64)) == 20972004); + assert(unsigned(zero_extend(0x14001e8, 64)) == 20972008); + assert(unsigned(zero_extend(0x14001ec, 64)) == 20972012); + assert(unsigned(zero_extend(0x14001f0, 64)) == 20972016); + assert(unsigned(zero_extend(0x14001f4, 64)) == 20972020); + assert(unsigned(zero_extend(0x14001f8, 64)) == 20972024); + assert(unsigned(zero_extend(0x14001fc, 64)) == 20972028); + assert(unsigned(zero_extend(0x1400200, 64)) == 20972032); + assert(unsigned(zero_extend(0x1400204, 64)) == 20972036); + assert(unsigned(zero_extend(0x1400208, 64)) == 20972040); + assert(unsigned(zero_extend(0x140020c, 64)) == 20972044); + assert(unsigned(zero_extend(0x1400210, 64)) == 20972048); + assert(unsigned(zero_extend(0x1400214, 64)) == 20972052); + assert(unsigned(zero_extend(0x140021c, 64)) == 20972060); + assert(unsigned(zero_extend(0x1400220, 64)) == 20972064); + assert(unsigned(zero_extend(0x140022c, 64)) == 20972076); + assert(unsigned(zero_extend(0x1400230, 64)) == 20972080); + assert(unsigned(zero_extend(0x1400234, 64)) == 20972084); + assert(unsigned(zero_extend(0x1400238, 64)) == 20972088); + assert(unsigned(zero_extend(0x140023c, 64)) == 20972092); + assert(unsigned(zero_extend(0x1400240, 64)) == 20972096); + assert(unsigned(zero_extend(0x1400244, 64)) == 20972100); + assert(unsigned(zero_extend(0x1400248, 64)) == 20972104); + assert(unsigned(zero_extend(0x140024c, 64)) == 20972108); + assert(unsigned(zero_extend(0x1400250, 64)) == 20972112); + assert(unsigned(zero_extend(0x1400254, 64)) == 20972116); + assert(unsigned(zero_extend(0x1400258, 64)) == 20972120); + assert(unsigned(zero_extend(0x140025c, 64)) == 20972124); + assert(unsigned(zero_extend(0x1400260, 64)) == 20972128); + assert(unsigned(zero_extend(0x1400264, 64)) == 20972132); + assert(unsigned(zero_extend(0x1400268, 64)) == 20972136); + assert(unsigned(zero_extend(0x140026c, 64)) == 20972140); + assert(unsigned(zero_extend(0x1400270, 64)) == 20972144); + assert(unsigned(zero_extend(0x1400274, 64)) == 20972148); + assert(unsigned(zero_extend(0x1400278, 64)) == 20972152); + assert(unsigned(zero_extend(0x140027c, 64)) == 20972156); + assert(unsigned(zero_extend(0x1400280, 64)) == 20972160); + assert(unsigned(zero_extend(0x1400284, 64)) == 20972164); + assert(unsigned(zero_extend(0x1400288, 64)) == 20972168); + assert(unsigned(zero_extend(0x140028c, 64)) == 20972172); + assert(unsigned(zero_extend(0x1400290, 64)) == 20972176); + assert(unsigned(zero_extend(0x1400294, 64)) == 20972180); + assert(unsigned(zero_extend(0x1400298, 64)) == 20972184); + assert(unsigned(zero_extend(0x140029c, 64)) == 20972188); + assert(unsigned(zero_extend(0x14002a0, 64)) == 20972192); + assert(unsigned(zero_extend(0x14002a4, 64)) == 20972196); + assert(unsigned(zero_extend(0x14002a8, 64)) == 20972200); + assert(unsigned(zero_extend(0x14002ac, 64)) == 20972204); + assert(unsigned(zero_extend(0x14002b0, 64)) == 20972208); + assert(unsigned(zero_extend(0x14002b4, 64)) == 20972212); + assert(unsigned(zero_extend(0x14002b8, 64)) == 20972216); + assert(unsigned(zero_extend(0x14002bc, 64)) == 20972220); + assert(unsigned(zero_extend(0x14002c0, 64)) == 20972224); + assert(unsigned(zero_extend(0x14002c4, 64)) == 20972228); + assert(unsigned(zero_extend(0x14002c8, 64)) == 20972232); + assert(unsigned(zero_extend(0x14002cc, 64)) == 20972236); + assert(unsigned(zero_extend(0x14002d0, 64)) == 20972240); + assert(unsigned(zero_extend(0x14002d4, 64)) == 20972244); + assert(unsigned(zero_extend(0x14002d8, 64)) == 20972248); + assert(unsigned(zero_extend(0x14002dc, 64)) == 20972252); + assert(unsigned(zero_extend(0x14002e0, 64)) == 20972256); + assert(unsigned(zero_extend(0x14002e4, 64)) == 20972260); + assert(unsigned(zero_extend(0x14002e8, 64)) == 20972264); + assert(unsigned(zero_extend(0x14002ec, 64)) == 20972268); + assert(unsigned(zero_extend(0x14002f0, 64)) == 20972272); + assert(unsigned(zero_extend(0x14002f4, 64)) == 20972276); + assert(unsigned(zero_extend(0x14002f8, 64)) == 20972280); + assert(unsigned(zero_extend(0x14002fc, 64)) == 20972284); + assert(unsigned(zero_extend(0x1400300, 64)) == 20972288); + assert(unsigned(zero_extend(0x1400304, 64)) == 20972292); + assert(unsigned(zero_extend(0x1400308, 64)) == 20972296); + assert(unsigned(zero_extend(0x140030c, 64)) == 20972300); + assert(unsigned(zero_extend(0x1400310, 64)) == 20972304); + assert(unsigned(zero_extend(0x1400314, 64)) == 20972308); + assert(unsigned(zero_extend(0x1400318, 64)) == 20972312); + assert(unsigned(zero_extend(0x140031c, 64)) == 20972316); + assert(unsigned(zero_extend(0x1400320, 64)) == 20972320); + assert(unsigned(zero_extend(0x1400324, 64)) == 20972324); + assert(unsigned(zero_extend(0x1400328, 64)) == 20972328); + assert(unsigned(zero_extend(0x140032c, 64)) == 20972332); + assert(unsigned(zero_extend(0x1400330, 64)) == 20972336); + assert(unsigned(zero_extend(0x1400334, 64)) == 20972340); + assert(unsigned(zero_extend(0x1400338, 64)) == 20972344); + assert(unsigned(zero_extend(0x140033c, 64)) == 20972348); + assert(unsigned(zero_extend(0x1400340, 64)) == 20972352); + assert(unsigned(zero_extend(0x1400344, 64)) == 20972356); + assert(unsigned(zero_extend(0x1400348, 64)) == 20972360); + assert(unsigned(zero_extend(0x140034c, 64)) == 20972364); + assert(unsigned(zero_extend(0x1400350, 64)) == 20972368); + assert(unsigned(zero_extend(0x1400354, 64)) == 20972372); + assert(unsigned(zero_extend(0x1400358, 64)) == 20972376); + assert(unsigned(zero_extend(0x140035c, 64)) == 20972380); + assert(unsigned(zero_extend(0x1400360, 64)) == 20972384); + assert(unsigned(zero_extend(0x1400364, 64)) == 20972388); + assert(unsigned(zero_extend(0x1400368, 64)) == 20972392); + assert(unsigned(zero_extend(0x140036c, 64)) == 20972396); + assert(unsigned(zero_extend(0x1400370, 64)) == 20972400); + assert(unsigned(zero_extend(0x1400374, 64)) == 20972404); + assert(unsigned(zero_extend(0x1400378, 64)) == 20972408); + assert(unsigned(zero_extend(0x140037c, 64)) == 20972412); + assert(unsigned(zero_extend(0x1400380, 64)) == 20972416); + assert(unsigned(zero_extend(0x1400384, 64)) == 20972420); + assert(unsigned(zero_extend(0x1400388, 64)) == 20972424); + assert(unsigned(zero_extend(0x140038c, 64)) == 20972428); + assert(unsigned(zero_extend(0x1400390, 64)) == 20972432); + assert(unsigned(zero_extend(0x1400394, 64)) == 20972436); + assert(unsigned(zero_extend(0x1400398, 64)) == 20972440); + assert(unsigned(zero_extend(0x140039c, 64)) == 20972444); + assert(unsigned(zero_extend(0x14003a0, 64)) == 20972448); + assert(unsigned(zero_extend(0x14003a4, 64)) == 20972452); + assert(unsigned(zero_extend(0x14003a8, 64)) == 20972456); + assert(unsigned(zero_extend(0x14003ac, 64)) == 20972460); + assert(unsigned(zero_extend(0x14003b0, 64)) == 20972464); + assert(unsigned(zero_extend(0x14003b8, 64)) == 20972472); + assert(unsigned(zero_extend(0x14003bc, 64)) == 20972476); + assert(unsigned(zero_extend(0x14003c4, 64)) == 20972484); + assert(unsigned(zero_extend(0x14003c8, 64)) == 20972488); + assert(unsigned(zero_extend(0x14003cc, 64)) == 20972492); + assert(unsigned(zero_extend(0x14003d0, 64)) == 20972496); + assert(unsigned(zero_extend(0x14003d4, 64)) == 20972500); + assert(unsigned(zero_extend(0x14003d8, 64)) == 20972504); + assert(unsigned(zero_extend(0x14003dc, 64)) == 20972508); + assert(unsigned(zero_extend(0x14003e0, 64)) == 20972512); + assert(unsigned(zero_extend(0x14003e4, 64)) == 20972516); + assert(unsigned(zero_extend(0x14003e8, 64)) == 20972520); + assert(unsigned(zero_extend(0x14003ec, 64)) == 20972524); + assert(unsigned(zero_extend(0x14003f4, 64)) == 20972532); + assert(unsigned(zero_extend(0x14003f8, 64)) == 20972536); + assert(unsigned(zero_extend(0x1400404, 64)) == 20972548); + assert(unsigned(zero_extend(0x1400408, 64)) == 20972552); + assert(unsigned(zero_extend(0x140040c, 64)) == 20972556); + assert(unsigned(zero_extend(0x1400410, 64)) == 20972560); + assert(unsigned(zero_extend(0x1400414, 64)) == 20972564); + assert(unsigned(zero_extend(0x1400418, 64)) == 20972568); + assert(unsigned(zero_extend(0x140041c, 64)) == 20972572); + assert(unsigned(zero_extend(0x1400420, 64)) == 20972576); + assert(unsigned(zero_extend(0x1400424, 64)) == 20972580); + assert(unsigned(zero_extend(0x1400428, 64)) == 20972584); + assert(unsigned(zero_extend(0x140042c, 64)) == 20972588); + assert(unsigned(zero_extend(0x1400430, 64)) == 20972592); + assert(unsigned(zero_extend(0x1400434, 64)) == 20972596); + assert(unsigned(zero_extend(0x1400438, 64)) == 20972600); + assert(unsigned(zero_extend(0x140043c, 64)) == 20972604); + assert(unsigned(zero_extend(0x1400440, 64)) == 20972608); + assert(unsigned(zero_extend(0x1400444, 64)) == 20972612); + assert(unsigned(zero_extend(0x1400448, 64)) == 20972616); + assert(unsigned(zero_extend(0x140044c, 64)) == 20972620); + assert(unsigned(zero_extend(0x1400450, 64)) == 20972624); + assert(unsigned(zero_extend(0x1400454, 64)) == 20972628); + assert(unsigned(zero_extend(0x1400458, 64)) == 20972632); + assert(unsigned(zero_extend(0x140045c, 64)) == 20972636); + assert(unsigned(zero_extend(0x1400460, 64)) == 20972640); + assert(unsigned(zero_extend(0x1400464, 64)) == 20972644); + assert(unsigned(zero_extend(0x1400468, 64)) == 20972648); + assert(unsigned(zero_extend(0x140046c, 64)) == 20972652); + assert(unsigned(zero_extend(0x1400470, 64)) == 20972656); + assert(unsigned(zero_extend(0x1400474, 64)) == 20972660); + assert(unsigned(zero_extend(0x1400478, 64)) == 20972664); + assert(unsigned(zero_extend(0x140047c, 64)) == 20972668); + assert(unsigned(zero_extend(0x1400480, 64)) == 20972672); + assert(unsigned(zero_extend(0x1400484, 64)) == 20972676); + assert(unsigned(zero_extend(0x1400488, 64)) == 20972680); + assert(unsigned(zero_extend(0x140048c, 64)) == 20972684); + assert(unsigned(zero_extend(0x1400490, 64)) == 20972688); + assert(unsigned(zero_extend(0x1400494, 64)) == 20972692); + assert(unsigned(zero_extend(0x1400498, 64)) == 20972696); + assert(unsigned(zero_extend(0x140049c, 64)) == 20972700); + assert(unsigned(zero_extend(0x14004a0, 64)) == 20972704); + assert(unsigned(zero_extend(0x14004a4, 64)) == 20972708); + assert(unsigned(zero_extend(0x14004a8, 64)) == 20972712); + assert(unsigned(zero_extend(0x14004ac, 64)) == 20972716); + assert(unsigned(zero_extend(0x14004b0, 64)) == 20972720); + assert(unsigned(zero_extend(0x14004b4, 64)) == 20972724); + assert(unsigned(zero_extend(0x14004b8, 64)) == 20972728); + assert(unsigned(zero_extend(0x14004bc, 64)) == 20972732); + assert(unsigned(zero_extend(0x14004c0, 64)) == 20972736); + assert(unsigned(zero_extend(0x14004c4, 64)) == 20972740); + assert(unsigned(zero_extend(0x14004c8, 64)) == 20972744); + assert(unsigned(zero_extend(0x14004cc, 64)) == 20972748); + assert(unsigned(zero_extend(0x14004d0, 64)) == 20972752); + assert(unsigned(zero_extend(0x14004d4, 64)) == 20972756); + assert(unsigned(zero_extend(0x14004d8, 64)) == 20972760); + assert(unsigned(zero_extend(0x14004dc, 64)) == 20972764); + assert(unsigned(zero_extend(0x14004e0, 64)) == 20972768); + assert(unsigned(zero_extend(0x14004e4, 64)) == 20972772); + assert(unsigned(zero_extend(0x14004e8, 64)) == 20972776); + assert(unsigned(zero_extend(0x14004ec, 64)) == 20972780); + assert(unsigned(zero_extend(0x14004f0, 64)) == 20972784); + assert(unsigned(zero_extend(0x14004f4, 64)) == 20972788); + assert(unsigned(zero_extend(0x14004f8, 64)) == 20972792); + assert(unsigned(zero_extend(0x14004fc, 64)) == 20972796); + assert(unsigned(zero_extend(0x1400500, 64)) == 20972800); + assert(unsigned(zero_extend(0x1400508, 64)) == 20972808); + assert(unsigned(zero_extend(0x140050c, 64)) == 20972812); + assert(unsigned(zero_extend(0x1400514, 64)) == 20972820); + assert(unsigned(zero_extend(0x1400518, 64)) == 20972824); + assert(unsigned(zero_extend(0x140051c, 64)) == 20972828); + assert(unsigned(zero_extend(0x1400520, 64)) == 20972832); + assert(unsigned(zero_extend(0x1400524, 64)) == 20972836); + assert(unsigned(zero_extend(0x1400528, 64)) == 20972840); + assert(unsigned(zero_extend(0x140052c, 64)) == 20972844); + assert(unsigned(zero_extend(0x1400530, 64)) == 20972848); + assert(unsigned(zero_extend(0x1400534, 64)) == 20972852); + assert(unsigned(zero_extend(0x1400538, 64)) == 20972856); + assert(unsigned(zero_extend(0x140053c, 64)) == 20972860); + assert(unsigned(zero_extend(0x1400544, 64)) == 20972868); + assert(unsigned(zero_extend(0x1400548, 64)) == 20972872); + assert(unsigned(zero_extend(0x1400554, 64)) == 20972884); + assert(unsigned(zero_extend(0x1400558, 64)) == 20972888); + assert(unsigned(zero_extend(0x140055c, 64)) == 20972892); + assert(unsigned(zero_extend(0x1400560, 64)) == 20972896); + assert(unsigned(zero_extend(0x1400564, 64)) == 20972900); + assert(unsigned(zero_extend(0x1400568, 64)) == 20972904); + assert(unsigned(zero_extend(0x140056c, 64)) == 20972908); + assert(unsigned(zero_extend(0x1400570, 64)) == 20972912); + assert(unsigned(zero_extend(0x1400574, 64)) == 20972916); + assert(unsigned(zero_extend(0x1400578, 64)) == 20972920); + assert(unsigned(zero_extend(0x140057c, 64)) == 20972924); + assert(unsigned(zero_extend(0x1400580, 64)) == 20972928); + assert(unsigned(zero_extend(0x1400584, 64)) == 20972932); + assert(unsigned(zero_extend(0x1400588, 64)) == 20972936); + assert(unsigned(zero_extend(0x140058c, 64)) == 20972940); + assert(unsigned(zero_extend(0x1400590, 64)) == 20972944); + assert(unsigned(zero_extend(0x1400594, 64)) == 20972948); + assert(unsigned(zero_extend(0x1400598, 64)) == 20972952); + assert(unsigned(zero_extend(0x140059c, 64)) == 20972956); + assert(unsigned(zero_extend(0x14005a0, 64)) == 20972960); + assert(unsigned(zero_extend(0x14005a4, 64)) == 20972964); + assert(unsigned(zero_extend(0x14005a8, 64)) == 20972968); + assert(unsigned(zero_extend(0x14005ac, 64)) == 20972972); + assert(unsigned(zero_extend(0x14005b0, 64)) == 20972976); + assert(unsigned(zero_extend(0x14005b4, 64)) == 20972980); + assert(unsigned(zero_extend(0x14005b8, 64)) == 20972984); + assert(unsigned(zero_extend(0x14005bc, 64)) == 20972988); + assert(unsigned(zero_extend(0x14005c0, 64)) == 20972992); + assert(unsigned(zero_extend(0x14005c4, 64)) == 20972996); + assert(unsigned(zero_extend(0x14005c8, 64)) == 20973000); + assert(unsigned(zero_extend(0x14005cc, 64)) == 20973004); + assert(unsigned(zero_extend(0x14005d0, 64)) == 20973008); + assert(unsigned(zero_extend(0x14005d4, 64)) == 20973012); + assert(unsigned(zero_extend(0x14005d8, 64)) == 20973016); + assert(unsigned(zero_extend(0x14005dc, 64)) == 20973020); + assert(unsigned(zero_extend(0x14005e0, 64)) == 20973024); + assert(unsigned(zero_extend(0x14005e4, 64)) == 20973028); + assert(unsigned(zero_extend(0x14005e8, 64)) == 20973032); + assert(unsigned(zero_extend(0x14005ec, 64)) == 20973036); + assert(unsigned(zero_extend(0x14005f0, 64)) == 20973040); + assert(unsigned(zero_extend(0x14005f4, 64)) == 20973044); + assert(unsigned(zero_extend(0x14005f8, 64)) == 20973048); + assert(unsigned(zero_extend(0x14005fc, 64)) == 20973052); + assert(unsigned(zero_extend(0x1400600, 64)) == 20973056); + assert(unsigned(zero_extend(0x1400604, 64)) == 20973060); + assert(unsigned(zero_extend(0x1400608, 64)) == 20973064); + assert(unsigned(zero_extend(0x140060c, 64)) == 20973068); + assert(unsigned(zero_extend(0x1400610, 64)) == 20973072); + assert(unsigned(zero_extend(0x1400614, 64)) == 20973076); + assert(unsigned(zero_extend(0x1400618, 64)) == 20973080); + assert(unsigned(zero_extend(0x140061c, 64)) == 20973084); + assert(unsigned(zero_extend(0x1400620, 64)) == 20973088); + assert(unsigned(zero_extend(0x1400624, 64)) == 20973092); + assert(unsigned(zero_extend(0x1400628, 64)) == 20973096); + assert(unsigned(zero_extend(0x140062c, 64)) == 20973100); + assert(unsigned(zero_extend(0x1400630, 64)) == 20973104); + assert(unsigned(zero_extend(0x1400634, 64)) == 20973108); + assert(unsigned(zero_extend(0x1400638, 64)) == 20973112); + assert(unsigned(zero_extend(0x140063c, 64)) == 20973116); + assert(unsigned(zero_extend(0x1400640, 64)) == 20973120); + assert(unsigned(zero_extend(0x1400644, 64)) == 20973124); + assert(unsigned(zero_extend(0x1400648, 64)) == 20973128); + assert(unsigned(zero_extend(0x140064c, 64)) == 20973132); + assert(unsigned(zero_extend(0x1400650, 64)) == 20973136); + assert(unsigned(zero_extend(0x1400658, 64)) == 20973144); + assert(unsigned(zero_extend(0x140065c, 64)) == 20973148); + assert(unsigned(zero_extend(0x1400664, 64)) == 20973156); + assert(unsigned(zero_extend(0x1400668, 64)) == 20973160); + assert(unsigned(zero_extend(0x140066c, 64)) == 20973164); + assert(unsigned(zero_extend(0x1400670, 64)) == 20973168); + assert(unsigned(zero_extend(0x1400674, 64)) == 20973172); + assert(unsigned(zero_extend(0x1400678, 64)) == 20973176); + assert(unsigned(zero_extend(0x140067c, 64)) == 20973180); + assert(unsigned(zero_extend(0x1400680, 64)) == 20973184); + assert(unsigned(zero_extend(0x1400684, 64)) == 20973188); + assert(unsigned(zero_extend(0x1400688, 64)) == 20973192); + assert(unsigned(zero_extend(0x140068c, 64)) == 20973196); + assert(unsigned(zero_extend(0x1400694, 64)) == 20973204); + assert(unsigned(zero_extend(0x1400698, 64)) == 20973208); + assert(unsigned(zero_extend(0x14006a4, 64)) == 20973220); + assert(unsigned(zero_extend(0x14006a8, 64)) == 20973224); + assert(unsigned(zero_extend(0x14006ac, 64)) == 20973228); + assert(unsigned(zero_extend(0x14006b0, 64)) == 20973232); + assert(unsigned(zero_extend(0x14006b4, 64)) == 20973236); + assert(unsigned(zero_extend(0x14006b8, 64)) == 20973240); + assert(unsigned(zero_extend(0x14006bc, 64)) == 20973244); + assert(unsigned(zero_extend(0x14006c0, 64)) == 20973248); + assert(unsigned(zero_extend(0x14006c4, 64)) == 20973252); + assert(unsigned(zero_extend(0x14006c8, 64)) == 20973256); + assert(unsigned(zero_extend(0x14006cc, 64)) == 20973260); + assert(unsigned(zero_extend(0x14006d0, 64)) == 20973264); + assert(unsigned(zero_extend(0x14006d4, 64)) == 20973268); + assert(unsigned(zero_extend(0x14006d8, 64)) == 20973272); + assert(unsigned(zero_extend(0x14006dc, 64)) == 20973276); + assert(unsigned(zero_extend(0x14006e0, 64)) == 20973280); + assert(unsigned(zero_extend(0x14006e4, 64)) == 20973284); + assert(unsigned(zero_extend(0x14006e8, 64)) == 20973288); + assert(unsigned(zero_extend(0x14006ec, 64)) == 20973292); + assert(unsigned(zero_extend(0x14006f0, 64)) == 20973296); + assert(unsigned(zero_extend(0x14006f4, 64)) == 20973300); + assert(unsigned(zero_extend(0x14006f8, 64)) == 20973304); + assert(unsigned(zero_extend(0x14006fc, 64)) == 20973308); + assert(unsigned(zero_extend(0x1400700, 64)) == 20973312); + assert(unsigned(zero_extend(0x1400704, 64)) == 20973316); + assert(unsigned(zero_extend(0x1400708, 64)) == 20973320); + assert(unsigned(zero_extend(0x140070c, 64)) == 20973324); + assert(unsigned(zero_extend(0x1400710, 64)) == 20973328); + assert(unsigned(zero_extend(0x1400714, 64)) == 20973332); + assert(unsigned(zero_extend(0x1400724, 64)) == 20973348); + assert(unsigned(zero_extend(0x1400728, 64)) == 20973352); + assert(unsigned(zero_extend(0x140072c, 64)) == 20973356); + assert(unsigned(zero_extend(0x1400730, 64)) == 20973360); + assert(unsigned(zero_extend(0x1400734, 64)) == 20973364); + assert(unsigned(zero_extend(0x1400738, 64)) == 20973368); + assert(unsigned(zero_extend(0x140073c, 64)) == 20973372); + assert(unsigned(zero_extend(0x1400740, 64)) == 20973376); + assert(unsigned(zero_extend(0x1400744, 64)) == 20973380); + assert(unsigned(zero_extend(0x1400748, 64)) == 20973384); + assert(unsigned(zero_extend(0x140074c, 64)) == 20973388); + assert(unsigned(zero_extend(0x1400750, 64)) == 20973392); + assert(unsigned(zero_extend(0x1400754, 64)) == 20973396); + assert(unsigned(zero_extend(0x1400758, 64)) == 20973400); + assert(unsigned(zero_extend(0x140075c, 64)) == 20973404); + assert(unsigned(zero_extend(0x1400760, 64)) == 20973408); + assert(unsigned(zero_extend(0x1400764, 64)) == 20973412); + assert(unsigned(zero_extend(0x1400768, 64)) == 20973416); + assert(unsigned(zero_extend(0x140076c, 64)) == 20973420); + assert(unsigned(zero_extend(0x1400770, 64)) == 20973424); + assert(unsigned(zero_extend(0x1400774, 64)) == 20973428); + assert(unsigned(zero_extend(0x1400778, 64)) == 20973432); + assert(unsigned(zero_extend(0x140077c, 64)) == 20973436); + assert(unsigned(zero_extend(0x1400780, 64)) == 20973440); + assert(unsigned(zero_extend(0x1400784, 64)) == 20973444); + assert(unsigned(zero_extend(0x1400788, 64)) == 20973448); + assert(unsigned(zero_extend(0x140078c, 64)) == 20973452); + assert(unsigned(zero_extend(0x1400790, 64)) == 20973456); + assert(unsigned(zero_extend(0x1400794, 64)) == 20973460); + assert(unsigned(zero_extend(0x1400798, 64)) == 20973464); + assert(unsigned(zero_extend(0x140079c, 64)) == 20973468); + assert(unsigned(zero_extend(0x14007a4, 64)) == 20973476); + assert(unsigned(zero_extend(0x14007a8, 64)) == 20973480); + assert(unsigned(zero_extend(0x14007b0, 64)) == 20973488); + assert(unsigned(zero_extend(0x14007b4, 64)) == 20973492); + assert(unsigned(zero_extend(0x14007b8, 64)) == 20973496); + assert(unsigned(zero_extend(0x14007bc, 64)) == 20973500); + assert(unsigned(zero_extend(0x14007c0, 64)) == 20973504); + assert(unsigned(zero_extend(0x14007c4, 64)) == 20973508); + assert(unsigned(zero_extend(0x14007c8, 64)) == 20973512); + assert(unsigned(zero_extend(0x14007cc, 64)) == 20973516); + assert(unsigned(zero_extend(0x14007d0, 64)) == 20973520); + assert(unsigned(zero_extend(0x14007d4, 64)) == 20973524); + assert(unsigned(zero_extend(0x14007d8, 64)) == 20973528); + assert(unsigned(zero_extend(0x14007e0, 64)) == 20973536); + assert(unsigned(zero_extend(0x14007e4, 64)) == 20973540); + assert(unsigned(zero_extend(0x14007f0, 64)) == 20973552); + assert(unsigned(zero_extend(0x14007f4, 64)) == 20973556); + assert(unsigned(zero_extend(0x14007f8, 64)) == 20973560); + assert(unsigned(zero_extend(0x14007fc, 64)) == 20973564); + assert(unsigned(zero_extend(0x1400800, 64)) == 20973568); + assert(unsigned(zero_extend(0x1400804, 64)) == 20973572); + assert(unsigned(zero_extend(0x1400808, 64)) == 20973576); + assert(unsigned(zero_extend(0x140080c, 64)) == 20973580); + assert(unsigned(zero_extend(0x1400810, 64)) == 20973584); + assert(unsigned(zero_extend(0x1400814, 64)) == 20973588); + assert(unsigned(zero_extend(0x1400818, 64)) == 20973592); + assert(unsigned(zero_extend(0x140081c, 64)) == 20973596); + assert(unsigned(zero_extend(0x1400820, 64)) == 20973600); + assert(unsigned(zero_extend(0x1400824, 64)) == 20973604); + assert(unsigned(zero_extend(0x1400828, 64)) == 20973608); + assert(unsigned(zero_extend(0x140082c, 64)) == 20973612); + assert(unsigned(zero_extend(0x1400830, 64)) == 20973616); + assert(unsigned(zero_extend(0x1400834, 64)) == 20973620); + assert(unsigned(zero_extend(0x1400838, 64)) == 20973624); + assert(unsigned(zero_extend(0x140083c, 64)) == 20973628); + assert(unsigned(zero_extend(0x1400840, 64)) == 20973632); + assert(unsigned(zero_extend(0x1400844, 64)) == 20973636); + assert(unsigned(zero_extend(0x1400848, 64)) == 20973640); + assert(unsigned(zero_extend(0x140084c, 64)) == 20973644); + assert(unsigned(zero_extend(0x1400850, 64)) == 20973648); + assert(unsigned(zero_extend(0x1400854, 64)) == 20973652); + assert(unsigned(zero_extend(0x1400858, 64)) == 20973656); + assert(unsigned(zero_extend(0x140085c, 64)) == 20973660); + assert(unsigned(zero_extend(0x1400860, 64)) == 20973664); + assert(unsigned(zero_extend(0x1400864, 64)) == 20973668); + assert(unsigned(zero_extend(0x1400868, 64)) == 20973672); + assert(unsigned(zero_extend(0x140086c, 64)) == 20973676); + assert(unsigned(zero_extend(0x1400870, 64)) == 20973680); + assert(unsigned(zero_extend(0x1400874, 64)) == 20973684); + assert(unsigned(zero_extend(0x1400878, 64)) == 20973688); + assert(unsigned(zero_extend(0x140087c, 64)) == 20973692); + assert(unsigned(zero_extend(0x1400880, 64)) == 20973696); + assert(unsigned(zero_extend(0x1400884, 64)) == 20973700); + assert(unsigned(zero_extend(0x1400888, 64)) == 20973704); + assert(unsigned(zero_extend(0x140088c, 64)) == 20973708); + assert(unsigned(zero_extend(0x1400890, 64)) == 20973712); + assert(unsigned(zero_extend(0x1400894, 64)) == 20973716); + assert(unsigned(zero_extend(0x1400898, 64)) == 20973720); + assert(unsigned(zero_extend(0x140089c, 64)) == 20973724); + assert(unsigned(zero_extend(0x14008a0, 64)) == 20973728); + assert(unsigned(zero_extend(0x14008a4, 64)) == 20973732); + assert(unsigned(zero_extend(0x14008a8, 64)) == 20973736); + assert(unsigned(zero_extend(0x14008ac, 64)) == 20973740); + assert(unsigned(zero_extend(0x14008b0, 64)) == 20973744); + assert(unsigned(zero_extend(0x14008b4, 64)) == 20973748); + assert(unsigned(zero_extend(0x14008b8, 64)) == 20973752); + assert(unsigned(zero_extend(0x14008bc, 64)) == 20973756); + assert(unsigned(zero_extend(0x14008c0, 64)) == 20973760); + assert(unsigned(zero_extend(0x14008c4, 64)) == 20973764); + assert(unsigned(zero_extend(0x14008c8, 64)) == 20973768); + assert(unsigned(zero_extend(0x14008cc, 64)) == 20973772); + assert(unsigned(zero_extend(0x14008d0, 64)) == 20973776); + assert(unsigned(zero_extend(0x14008d4, 64)) == 20973780); + assert(unsigned(zero_extend(0x14008d8, 64)) == 20973784); + assert(unsigned(zero_extend(0x14008dc, 64)) == 20973788); + assert(unsigned(zero_extend(0x14008e0, 64)) == 20973792); + assert(unsigned(zero_extend(0x14008e4, 64)) == 20973796); + assert(unsigned(zero_extend(0x14008e8, 64)) == 20973800); + assert(unsigned(zero_extend(0x14008ec, 64)) == 20973804); + assert(unsigned(zero_extend(0x14008f0, 64)) == 20973808); + assert(unsigned(zero_extend(0x14008f4, 64)) == 20973812); + assert(unsigned(zero_extend(0x14008f8, 64)) == 20973816); + assert(unsigned(zero_extend(0x14008fc, 64)) == 20973820); + assert(unsigned(zero_extend(0x1400900, 64)) == 20973824); + assert(unsigned(zero_extend(0x1400904, 64)) == 20973828); + assert(unsigned(zero_extend(0x1400908, 64)) == 20973832); + assert(unsigned(zero_extend(0x140090c, 64)) == 20973836); + assert(unsigned(zero_extend(0x1400910, 64)) == 20973840); + assert(unsigned(zero_extend(0x1400914, 64)) == 20973844); + assert(unsigned(zero_extend(0x1400918, 64)) == 20973848); + assert(unsigned(zero_extend(0x140091c, 64)) == 20973852); + assert(unsigned(zero_extend(0x1400920, 64)) == 20973856); + assert(unsigned(zero_extend(0x1400924, 64)) == 20973860); + assert(unsigned(zero_extend(0x1400928, 64)) == 20973864); + assert(unsigned(zero_extend(0x140092c, 64)) == 20973868); + assert(unsigned(zero_extend(0x1400930, 64)) == 20973872); + assert(unsigned(zero_extend(0x14086f0, 64)) == 21006064); + assert(unsigned(zero_extend(0x14086f4, 64)) == 21006068); + assert(unsigned(zero_extend(0x14086f8, 64)) == 21006072); + assert(unsigned(zero_extend(0x140883c, 64)) == 21006396); + assert(unsigned(zero_extend(0x1408840, 64)) == 21006400); + assert(unsigned(zero_extend(0x1408844, 64)) == 21006404); + assert(unsigned(zero_extend(0x14400, 64)) == 82944); + assert(unsigned(zero_extend(0x148, 64)) == 328); + assert(unsigned(zero_extend(0x14ab4, 64)) == 84660); + assert(unsigned(zero_extend(0x14ab8, 64)) == 84664); + assert(unsigned(zero_extend(0x14abc, 64)) == 84668); + assert(unsigned(zero_extend(0x14ac0, 64)) == 84672); + assert(unsigned(zero_extend(0x14ac4, 64)) == 84676); + assert(unsigned(zero_extend(0x14ac8, 64)) == 84680); + assert(unsigned(zero_extend(0x14ad4, 64)) == 84692); + assert(unsigned(zero_extend(0x14ad8, 64)) == 84696); + assert(unsigned(zero_extend(0x14adc, 64)) == 84700); + assert(unsigned(zero_extend(0x14ae0, 64)) == 84704); + assert(unsigned(zero_extend(0x14ae4, 64)) == 84708); + assert(unsigned(zero_extend(0x14ae8, 64)) == 84712); + assert(unsigned(zero_extend(0x14aec, 64)) == 84716); + assert(unsigned(zero_extend(0x14af0, 64)) == 84720); + assert(unsigned(zero_extend(0x14af4, 64)) == 84724); + assert(unsigned(zero_extend(0x14af8, 64)) == 84728); + assert(unsigned(zero_extend(0x14afc, 64)) == 84732); + assert(unsigned(zero_extend(0x14b00, 64)) == 84736); + assert(unsigned(zero_extend(0x14b04, 64)) == 84740); + assert(unsigned(zero_extend(0x14b88, 64)) == 84872); + assert(unsigned(zero_extend(0x14b8c, 64)) == 84876); + assert(unsigned(zero_extend(0x14b90, 64)) == 84880); + assert(unsigned(zero_extend(0x14b94, 64)) == 84884); + assert(unsigned(zero_extend(0x14b98, 64)) == 84888); + assert(unsigned(zero_extend(0x14b9c, 64)) == 84892); + assert(unsigned(zero_extend(0x14ba0, 64)) == 84896); + assert(unsigned(zero_extend(0x14ba4, 64)) == 84900); + assert(unsigned(zero_extend(0x14ba8, 64)) == 84904); + assert(unsigned(zero_extend(0x14bac, 64)) == 84908); + assert(unsigned(zero_extend(0x14bb0, 64)) == 84912); + assert(unsigned(zero_extend(0x14bb4, 64)) == 84916); + assert(unsigned(zero_extend(0x14bb8, 64)) == 84920); + assert(unsigned(zero_extend(0x14bbc, 64)) == 84924); + assert(unsigned(zero_extend(0x14d64, 64)) == 85348); + assert(unsigned(zero_extend(0x14d68, 64)) == 85352); + assert(unsigned(zero_extend(0x14d6c, 64)) == 85356); + assert(unsigned(zero_extend(0x14d70, 64)) == 85360); + assert(unsigned(zero_extend(0x14d74, 64)) == 85364); + assert(unsigned(zero_extend(0x14d78, 64)) == 85368); + assert(unsigned(zero_extend(0x14d7c, 64)) == 85372); + assert(unsigned(zero_extend(0x14d80, 64)) == 85376); + assert(unsigned(zero_extend(0x14d84, 64)) == 85380); + assert(unsigned(zero_extend(0x14d88, 64)) == 85384); + assert(unsigned(zero_extend(0x14d8c, 64)) == 85388); + assert(unsigned(zero_extend(0x14d90, 64)) == 85392); + assert(unsigned(zero_extend(0x14d94, 64)) == 85396); + assert(unsigned(zero_extend(0x14d98, 64)) == 85400); + assert(unsigned(zero_extend(0x14d9c, 64)) == 85404); + assert(unsigned(zero_extend(0x14da0, 64)) == 85408); + assert(unsigned(zero_extend(0x14da4, 64)) == 85412); + assert(unsigned(zero_extend(0x14da8, 64)) == 85416); + assert(unsigned(zero_extend(0x14dac, 64)) == 85420); + assert(unsigned(zero_extend(0x14db0, 64)) == 85424); + assert(unsigned(zero_extend(0x14db4, 64)) == 85428); + assert(unsigned(zero_extend(0x14db8, 64)) == 85432); + assert(unsigned(zero_extend(0x14dbc, 64)) == 85436); + assert(unsigned(zero_extend(0x14dc0, 64)) == 85440); + assert(unsigned(zero_extend(0x14dc4, 64)) == 85444); + assert(unsigned(zero_extend(0x14dc8, 64)) == 85448); + assert(unsigned(zero_extend(0x14dcc, 64)) == 85452); + assert(unsigned(zero_extend(0x14dd0, 64)) == 85456); + assert(unsigned(zero_extend(0x14dd4, 64)) == 85460); + assert(unsigned(zero_extend(0x14dd8, 64)) == 85464); + assert(unsigned(zero_extend(0x14ddc, 64)) == 85468); + assert(unsigned(zero_extend(0x14de0, 64)) == 85472); + assert(unsigned(zero_extend(0x14de4, 64)) == 85476); + assert(unsigned(zero_extend(0x14de8, 64)) == 85480); + assert(unsigned(zero_extend(0x14dec, 64)) == 85484); + assert(unsigned(zero_extend(0x14df0, 64)) == 85488); + assert(unsigned(zero_extend(0x14df4, 64)) == 85492); + assert(unsigned(zero_extend(0x14df8, 64)) == 85496); + assert(unsigned(zero_extend(0x14dfc, 64)) == 85500); + assert(unsigned(zero_extend(0x14e00, 64)) == 85504); + assert(unsigned(zero_extend(0x14e04, 64)) == 85508); + assert(unsigned(zero_extend(0x14e08, 64)) == 85512); + assert(unsigned(zero_extend(0x15, 64)) == 21); + assert(unsigned(zero_extend(0x150, 64)) == 336); + assert(unsigned(zero_extend(0x15002f8, 64)) == 22020856); + assert(unsigned(zero_extend(0x15002fc, 64)) == 22020860); + assert(unsigned(zero_extend(0x1500300, 64)) == 22020864); + assert(unsigned(zero_extend(0x1500450, 64)) == 22021200); + assert(unsigned(zero_extend(0x1500454, 64)) == 22021204); + assert(unsigned(zero_extend(0x1500458, 64)) == 22021208); + assert(unsigned(zero_extend(0x15005a0, 64)) == 22021536); + assert(unsigned(zero_extend(0x15005a4, 64)) == 22021540); + assert(unsigned(zero_extend(0x15005a8, 64)) == 22021544); + assert(unsigned(zero_extend(0x16, 64)) == 22); + assert(unsigned(zero_extend(0x160, 64)) == 352); + assert(unsigned(zero_extend(0x16240, 64)) == 90688); + assert(unsigned(zero_extend(0x16244, 64)) == 90692); + assert(unsigned(zero_extend(0x16310, 64)) == 90896); + assert(unsigned(zero_extend(0x16314, 64)) == 90900); + assert(unsigned(zero_extend(0x16318, 64)) == 90904); + assert(unsigned(zero_extend(0x1631c, 64)) == 90908); + assert(unsigned(zero_extend(0x16320, 64)) == 90912); + assert(unsigned(zero_extend(0x16324, 64)) == 90916); + assert(unsigned(zero_extend(0x16328, 64)) == 90920); + assert(unsigned(zero_extend(0x1632c, 64)) == 90924); + assert(unsigned(zero_extend(0x16330, 64)) == 90928); + assert(unsigned(zero_extend(0x16334, 64)) == 90932); + assert(unsigned(zero_extend(0x16368, 64)) == 90984); + assert(unsigned(zero_extend(0x1636c, 64)) == 90988); + assert(unsigned(zero_extend(0x16384, 64)) == 91012); + assert(unsigned(zero_extend(0x16388, 64)) == 91016); + assert(unsigned(zero_extend(0x163c0, 64)) == 91072); + assert(unsigned(zero_extend(0x163c4, 64)) == 91076); + assert(unsigned(zero_extend(0x163d0, 64)) == 91088); + assert(unsigned(zero_extend(0x163d4, 64)) == 91092); + assert(unsigned(zero_extend(0x163e0, 64)) == 91104); + assert(unsigned(zero_extend(0x163e4, 64)) == 91108); + assert(unsigned(zero_extend(0x163f0, 64)) == 91120); + assert(unsigned(zero_extend(0x163f4, 64)) == 91124); + assert(unsigned(zero_extend(0x163f8, 64)) == 91128); + assert(unsigned(zero_extend(0x163fc, 64)) == 91132); + assert(unsigned(zero_extend(0x16400, 64)) == 91136); + assert(unsigned(zero_extend(0x16404, 64)) == 91140); + assert(unsigned(zero_extend(0x16408, 64)) == 91144); + assert(unsigned(zero_extend(0x1640c, 64)) == 91148); + assert(unsigned(zero_extend(0x16420, 64)) == 91168); + assert(unsigned(zero_extend(0x16424, 64)) == 91172); + assert(unsigned(zero_extend(0x16428, 64)) == 91176); + assert(unsigned(zero_extend(0x1642c, 64)) == 91180); + assert(unsigned(zero_extend(0x1644c, 64)) == 91212); + assert(unsigned(zero_extend(0x16450, 64)) == 91216); + assert(unsigned(zero_extend(0x1645c, 64)) == 91228); + assert(unsigned(zero_extend(0x16460, 64)) == 91232); + assert(unsigned(zero_extend(0x16464, 64)) == 91236); + assert(unsigned(zero_extend(0x16474, 64)) == 91252); + assert(unsigned(zero_extend(0x16478, 64)) == 91256); + assert(unsigned(zero_extend(0x1647c, 64)) == 91260); + assert(unsigned(zero_extend(0x16480, 64)) == 91264); + assert(unsigned(zero_extend(0x16484, 64)) == 91268); + assert(unsigned(zero_extend(0x16488, 64)) == 91272); + assert(unsigned(zero_extend(0x1648c, 64)) == 91276); + assert(unsigned(zero_extend(0x16490, 64)) == 91280); + assert(unsigned(zero_extend(0x16494, 64)) == 91284); + assert(unsigned(zero_extend(0x16498, 64)) == 91288); + assert(unsigned(zero_extend(0x1649c, 64)) == 91292); + assert(unsigned(zero_extend(0x164a0, 64)) == 91296); + assert(unsigned(zero_extend(0x164a4, 64)) == 91300); + assert(unsigned(zero_extend(0x164a8, 64)) == 91304); + assert(unsigned(zero_extend(0x164ac, 64)) == 91308); + assert(unsigned(zero_extend(0x164b0, 64)) == 91312); + assert(unsigned(zero_extend(0x164b4, 64)) == 91316); + assert(unsigned(zero_extend(0x164b8, 64)) == 91320); + assert(unsigned(zero_extend(0x164d4, 64)) == 91348); + assert(unsigned(zero_extend(0x164d8, 64)) == 91352); + assert(unsigned(zero_extend(0x164dc, 64)) == 91356); + assert(unsigned(zero_extend(0x164e0, 64)) == 91360); + assert(unsigned(zero_extend(0x16510, 64)) == 91408); + assert(unsigned(zero_extend(0x16514, 64)) == 91412); + assert(unsigned(zero_extend(0x16518, 64)) == 91416); + assert(unsigned(zero_extend(0x1651c, 64)) == 91420); + assert(unsigned(zero_extend(0x16528, 64)) == 91432); + assert(unsigned(zero_extend(0x1652c, 64)) == 91436); + assert(unsigned(zero_extend(0x16590, 64)) == 91536); + assert(unsigned(zero_extend(0x16594, 64)) == 91540); + assert(unsigned(zero_extend(0x16598, 64)) == 91544); + assert(unsigned(zero_extend(0x165b4, 64)) == 91572); + assert(unsigned(zero_extend(0x165b8, 64)) == 91576); + assert(unsigned(zero_extend(0x165bc, 64)) == 91580); + assert(unsigned(zero_extend(0x165c8, 64)) == 91592); + assert(unsigned(zero_extend(0x165cc, 64)) == 91596); + assert(unsigned(zero_extend(0x165d0, 64)) == 91600); + assert(unsigned(zero_extend(0x165e0, 64)) == 91616); + assert(unsigned(zero_extend(0x165e4, 64)) == 91620); + assert(unsigned(zero_extend(0x165e8, 64)) == 91624); + assert(unsigned(zero_extend(0x165ec, 64)) == 91628); + assert(unsigned(zero_extend(0x165f0, 64)) == 91632); + assert(unsigned(zero_extend(0x165f4, 64)) == 91636); + assert(unsigned(zero_extend(0x165f8, 64)) == 91640); + assert(unsigned(zero_extend(0x165fc, 64)) == 91644); + assert(unsigned(zero_extend(0x16600, 64)) == 91648); + assert(unsigned(zero_extend(0x1660c, 64)) == 91660); + assert(unsigned(zero_extend(0x16610, 64)) == 91664); + assert(unsigned(zero_extend(0x16614, 64)) == 91668); + assert(unsigned(zero_extend(0x1663c, 64)) == 91708); + assert(unsigned(zero_extend(0x16640, 64)) == 91712); + assert(unsigned(zero_extend(0x16644, 64)) == 91716); + assert(unsigned(zero_extend(0x16648, 64)) == 91720); + assert(unsigned(zero_extend(0x1664c, 64)) == 91724); + assert(unsigned(zero_extend(0x16650, 64)) == 91728); + assert(unsigned(zero_extend(0x16654, 64)) == 91732); + assert(unsigned(zero_extend(0x16658, 64)) == 91736); + assert(unsigned(zero_extend(0x1665c, 64)) == 91740); + assert(unsigned(zero_extend(0x16668, 64)) == 91752); + assert(unsigned(zero_extend(0x1666c, 64)) == 91756); + assert(unsigned(zero_extend(0x16678, 64)) == 91768); + assert(unsigned(zero_extend(0x1667c, 64)) == 91772); + assert(unsigned(zero_extend(0x16680, 64)) == 91776); + assert(unsigned(zero_extend(0x16684, 64)) == 91780); + assert(unsigned(zero_extend(0x166a0, 64)) == 91808); + assert(unsigned(zero_extend(0x166a4, 64)) == 91812); + assert(unsigned(zero_extend(0x166a8, 64)) == 91816); + assert(unsigned(zero_extend(0x166ac, 64)) == 91820); + assert(unsigned(zero_extend(0x166b0, 64)) == 91824); + assert(unsigned(zero_extend(0x166b4, 64)) == 91828); + assert(unsigned(zero_extend(0x168, 64)) == 360); + assert(unsigned(zero_extend(0x17, 64)) == 23); + assert(unsigned(zero_extend(0x170, 64)) == 368); + assert(unsigned(zero_extend(0x17ffe, 64)) == 98302); + assert(unsigned(zero_extend(0x17fff, 64)) == 98303); + assert(unsigned(zero_extend(0x17fffffff, 64)) == 6442450943); + assert(unsigned(zero_extend(0x18, 64)) == 24); + assert(unsigned(zero_extend(0x180, 64)) == 384); + assert(unsigned(zero_extend(0x18000, 64)) == 98304); + assert(unsigned(zero_extend(0x180000000, 64)) == 6442450944); + assert(unsigned(zero_extend(0x18001, 64)) == 98305); + assert(unsigned(zero_extend(0x18899aabb, 64)) == 6586739387); + assert(unsigned(zero_extend(0x19, 64)) == 25); + assert(unsigned(zero_extend(0x1a, 64)) == 26); + assert(unsigned(zero_extend(0x1a0, 64)) == 416); + assert(unsigned(zero_extend(0x1a590, 64)) == 107920); + assert(unsigned(zero_extend(0x1a594, 64)) == 107924); + assert(unsigned(zero_extend(0x1a598, 64)) == 107928); + assert(unsigned(zero_extend(0x1a59c, 64)) == 107932); + assert(unsigned(zero_extend(0x1a5a0, 64)) == 107936); + assert(unsigned(zero_extend(0x1a5a4, 64)) == 107940); + assert(unsigned(zero_extend(0x1a5a8, 64)) == 107944); + assert(unsigned(zero_extend(0x1a5ac, 64)) == 107948); + assert(unsigned(zero_extend(0x1a5b0, 64)) == 107952); + assert(unsigned(zero_extend(0x1a5b4, 64)) == 107956); + assert(unsigned(zero_extend(0x1a5b8, 64)) == 107960); + assert(unsigned(zero_extend(0x1a5bc, 64)) == 107964); + assert(unsigned(zero_extend(0x1a5d4, 64)) == 107988); + assert(unsigned(zero_extend(0x1a5d8, 64)) == 107992); + assert(unsigned(zero_extend(0x1a5f4, 64)) == 108020); + assert(unsigned(zero_extend(0x1a5f8, 64)) == 108024); + assert(unsigned(zero_extend(0x1a5fc, 64)) == 108028); + assert(unsigned(zero_extend(0x1a600, 64)) == 108032); + assert(unsigned(zero_extend(0x1a600078, 64)) == 442499192); + assert(unsigned(zero_extend(0x1a60007c, 64)) == 442499196); + assert(unsigned(zero_extend(0x1a600080, 64)) == 442499200); + assert(unsigned(zero_extend(0x1a75c, 64)) == 108380); + assert(unsigned(zero_extend(0x1a760, 64)) == 108384); + assert(unsigned(zero_extend(0x1a764, 64)) == 108388); + assert(unsigned(zero_extend(0x1a768, 64)) == 108392); + assert(unsigned(zero_extend(0x1a76c, 64)) == 108396); + assert(unsigned(zero_extend(0x1a770, 64)) == 108400); + assert(unsigned(zero_extend(0x1a774, 64)) == 108404); + assert(unsigned(zero_extend(0x1a778, 64)) == 108408); + assert(unsigned(zero_extend(0x1a77c, 64)) == 108412); + assert(unsigned(zero_extend(0x1a780, 64)) == 108416); + assert(unsigned(zero_extend(0x1a784, 64)) == 108420); + assert(unsigned(zero_extend(0x1a788, 64)) == 108424); + assert(unsigned(zero_extend(0x1a78c, 64)) == 108428); + assert(unsigned(zero_extend(0x1a790, 64)) == 108432); + assert(unsigned(zero_extend(0x1a794, 64)) == 108436); + assert(unsigned(zero_extend(0x1a798, 64)) == 108440); + assert(unsigned(zero_extend(0x1a79c, 64)) == 108444); + assert(unsigned(zero_extend(0x1a840, 64)) == 108608); + assert(unsigned(zero_extend(0x1a844, 64)) == 108612); + assert(unsigned(zero_extend(0x1a848, 64)) == 108616); + assert(unsigned(zero_extend(0x1a84c, 64)) == 108620); + assert(unsigned(zero_extend(0x1a850, 64)) == 108624); + assert(unsigned(zero_extend(0x1a858, 64)) == 108632); + assert(unsigned(zero_extend(0x1a85c, 64)) == 108636); + assert(unsigned(zero_extend(0x1a860, 64)) == 108640); + assert(unsigned(zero_extend(0x1a864, 64)) == 108644); + assert(unsigned(zero_extend(0x1a870, 64)) == 108656); + assert(unsigned(zero_extend(0x1a878, 64)) == 108664); + assert(unsigned(zero_extend(0x1a87c, 64)) == 108668); + assert(unsigned(zero_extend(0x1a880, 64)) == 108672); + assert(unsigned(zero_extend(0x1a884, 64)) == 108676); + assert(unsigned(zero_extend(0x1a888, 64)) == 108680); + assert(unsigned(zero_extend(0x1a88c, 64)) == 108684); + assert(unsigned(zero_extend(0x1a890, 64)) == 108688); + assert(unsigned(zero_extend(0x1a894, 64)) == 108692); + assert(unsigned(zero_extend(0x1a898, 64)) == 108696); + assert(unsigned(zero_extend(0x1a89c, 64)) == 108700); + assert(unsigned(zero_extend(0x1a8a0, 64)) == 108704); + assert(unsigned(zero_extend(0x1a8a4, 64)) == 108708); + assert(unsigned(zero_extend(0x1a8a8, 64)) == 108712); + assert(unsigned(zero_extend(0x1a8ac, 64)) == 108716); + assert(unsigned(zero_extend(0x1a8b0, 64)) == 108720); + assert(unsigned(zero_extend(0x1a8b4, 64)) == 108724); + assert(unsigned(zero_extend(0x1a8b8, 64)) == 108728); + assert(unsigned(zero_extend(0x1a8bc, 64)) == 108732); + assert(unsigned(zero_extend(0x1a8c0, 64)) == 108736); + assert(unsigned(zero_extend(0x1a8c4, 64)) == 108740); + assert(unsigned(zero_extend(0x1a8c8, 64)) == 108744); + assert(unsigned(zero_extend(0x1a8cc, 64)) == 108748); + assert(unsigned(zero_extend(0x1a8d0, 64)) == 108752); + assert(unsigned(zero_extend(0x1a8d4, 64)) == 108756); + assert(unsigned(zero_extend(0x1a8d8, 64)) == 108760); + assert(unsigned(zero_extend(0x1a8dc, 64)) == 108764); + assert(unsigned(zero_extend(0x1a8e0, 64)) == 108768); + assert(unsigned(zero_extend(0x1a8e4, 64)) == 108772); + assert(unsigned(zero_extend(0x1a8e8, 64)) == 108776); + assert(unsigned(zero_extend(0x1a8ec, 64)) == 108780); + assert(unsigned(zero_extend(0x1a8f0, 64)) == 108784); + assert(unsigned(zero_extend(0x1a8f4, 64)) == 108788); + assert(unsigned(zero_extend(0x1a8f8, 64)) == 108792); + assert(unsigned(zero_extend(0x1a8fc, 64)) == 108796); + assert(unsigned(zero_extend(0x1a900, 64)) == 108800); + assert(unsigned(zero_extend(0x1a904, 64)) == 108804); + assert(unsigned(zero_extend(0x1a908, 64)) == 108808); + assert(unsigned(zero_extend(0x1a90c, 64)) == 108812); + assert(unsigned(zero_extend(0x1a910, 64)) == 108816); + assert(unsigned(zero_extend(0x1a914, 64)) == 108820); + assert(unsigned(zero_extend(0x1a918, 64)) == 108824); + assert(unsigned(zero_extend(0x1a91c, 64)) == 108828); + assert(unsigned(zero_extend(0x1a920, 64)) == 108832); + assert(unsigned(zero_extend(0x1a924, 64)) == 108836); + assert(unsigned(zero_extend(0x1a928, 64)) == 108840); + assert(unsigned(zero_extend(0x1a92c, 64)) == 108844); + assert(unsigned(zero_extend(0x1a930, 64)) == 108848); + assert(unsigned(zero_extend(0x1a934, 64)) == 108852); + assert(unsigned(zero_extend(0x1a938, 64)) == 108856); + assert(unsigned(zero_extend(0x1a93c, 64)) == 108860); + assert(unsigned(zero_extend(0x1a940, 64)) == 108864); + assert(unsigned(zero_extend(0x1a944, 64)) == 108868); + assert(unsigned(zero_extend(0x1a948, 64)) == 108872); + assert(unsigned(zero_extend(0x1a94c, 64)) == 108876); + assert(unsigned(zero_extend(0x1a950, 64)) == 108880); + assert(unsigned(zero_extend(0x1a954, 64)) == 108884); + assert(unsigned(zero_extend(0x1a958, 64)) == 108888); + assert(unsigned(zero_extend(0x1a95c, 64)) == 108892); + assert(unsigned(zero_extend(0x1a960, 64)) == 108896); + assert(unsigned(zero_extend(0x1a964, 64)) == 108900); + assert(unsigned(zero_extend(0x1a968, 64)) == 108904); + assert(unsigned(zero_extend(0x1a96c, 64)) == 108908); + assert(unsigned(zero_extend(0x1a970, 64)) == 108912); + assert(unsigned(zero_extend(0x1a974, 64)) == 108916); + assert(unsigned(zero_extend(0x1a978, 64)) == 108920); + assert(unsigned(zero_extend(0x1a97c, 64)) == 108924); + assert(unsigned(zero_extend(0x1a980, 64)) == 108928); + assert(unsigned(zero_extend(0x1a984, 64)) == 108932); + assert(unsigned(zero_extend(0x1a988, 64)) == 108936); + assert(unsigned(zero_extend(0x1a98c, 64)) == 108940); + assert(unsigned(zero_extend(0x1a990, 64)) == 108944); + assert(unsigned(zero_extend(0x1a994, 64)) == 108948); + assert(unsigned(zero_extend(0x1a998, 64)) == 108952); + assert(unsigned(zero_extend(0x1a99c, 64)) == 108956); + assert(unsigned(zero_extend(0x1a9a0, 64)) == 108960); + assert(unsigned(zero_extend(0x1a9a4, 64)) == 108964); + assert(unsigned(zero_extend(0x1a9a8, 64)) == 108968); + assert(unsigned(zero_extend(0x1a9ac, 64)) == 108972); + assert(unsigned(zero_extend(0x1a9b0, 64)) == 108976); + assert(unsigned(zero_extend(0x1a9b4, 64)) == 108980); + assert(unsigned(zero_extend(0x1a9b8, 64)) == 108984); + assert(unsigned(zero_extend(0x1a9bc, 64)) == 108988); + assert(unsigned(zero_extend(0x1a9c0, 64)) == 108992); + assert(unsigned(zero_extend(0x1a9c4, 64)) == 108996); + assert(unsigned(zero_extend(0x1a9c8, 64)) == 109000); + assert(unsigned(zero_extend(0x1a9cc, 64)) == 109004); + assert(unsigned(zero_extend(0x1a9d0, 64)) == 109008); + assert(unsigned(zero_extend(0x1a9d4, 64)) == 109012); + assert(unsigned(zero_extend(0x1a9d8, 64)) == 109016); + assert(unsigned(zero_extend(0x1a9dc, 64)) == 109020); + assert(unsigned(zero_extend(0x1a9e0, 64)) == 109024); + assert(unsigned(zero_extend(0x1a9e4, 64)) == 109028); + assert(unsigned(zero_extend(0x1a9e8, 64)) == 109032); + assert(unsigned(zero_extend(0x1a9f4, 64)) == 109044); + assert(unsigned(zero_extend(0x1a9f8, 64)) == 109048); + assert(unsigned(zero_extend(0x1a9fc, 64)) == 109052); + assert(unsigned(zero_extend(0x1aa00, 64)) == 109056); + assert(unsigned(zero_extend(0x1aa04, 64)) == 109060); + assert(unsigned(zero_extend(0x1aa08, 64)) == 109064); + assert(unsigned(zero_extend(0x1aa0c, 64)) == 109068); + assert(unsigned(zero_extend(0x1aa10, 64)) == 109072); + assert(unsigned(zero_extend(0x1aa14, 64)) == 109076); + assert(unsigned(zero_extend(0x1aa18, 64)) == 109080); + assert(unsigned(zero_extend(0x1aa1c, 64)) == 109084); + assert(unsigned(zero_extend(0x1aa20, 64)) == 109088); + assert(unsigned(zero_extend(0x1aa24, 64)) == 109092); + assert(unsigned(zero_extend(0x1aa28, 64)) == 109096); + assert(unsigned(zero_extend(0x1aa2c, 64)) == 109100); + assert(unsigned(zero_extend(0x1aa30, 64)) == 109104); + assert(unsigned(zero_extend(0x1aa34, 64)) == 109108); + assert(unsigned(zero_extend(0x1aa38, 64)) == 109112); + assert(unsigned(zero_extend(0x1aa3c, 64)) == 109116); + assert(unsigned(zero_extend(0x1aa40, 64)) == 109120); + assert(unsigned(zero_extend(0x1aa50, 64)) == 109136); + assert(unsigned(zero_extend(0x1aa58, 64)) == 109144); + assert(unsigned(zero_extend(0x1aa60, 64)) == 109152); + assert(unsigned(zero_extend(0x1aa68, 64)) == 109160); + assert(unsigned(zero_extend(0x1aa6c, 64)) == 109164); + assert(unsigned(zero_extend(0x1aa70, 64)) == 109168); + assert(unsigned(zero_extend(0x1aa74, 64)) == 109172); + assert(unsigned(zero_extend(0x1aa78, 64)) == 109176); + assert(unsigned(zero_extend(0x1aa7c, 64)) == 109180); + assert(unsigned(zero_extend(0x1aa80, 64)) == 109184); + assert(unsigned(zero_extend(0x1aa84, 64)) == 109188); + assert(unsigned(zero_extend(0x1aa88, 64)) == 109192); + assert(unsigned(zero_extend(0x1aaa8, 64)) == 109224); + assert(unsigned(zero_extend(0x1aab0, 64)) == 109232); + assert(unsigned(zero_extend(0x1aab8, 64)) == 109240); + assert(unsigned(zero_extend(0x1aac0, 64)) == 109248); + assert(unsigned(zero_extend(0x1ac70, 64)) == 109680); + assert(unsigned(zero_extend(0x1ac74, 64)) == 109684); + assert(unsigned(zero_extend(0x1ac78, 64)) == 109688); + assert(unsigned(zero_extend(0x1ac7c, 64)) == 109692); + assert(unsigned(zero_extend(0x1ac80, 64)) == 109696); + assert(unsigned(zero_extend(0x1ac84, 64)) == 109700); + assert(unsigned(zero_extend(0x1ac88, 64)) == 109704); + assert(unsigned(zero_extend(0x1ac8c, 64)) == 109708); + assert(unsigned(zero_extend(0x1ac90, 64)) == 109712); + assert(unsigned(zero_extend(0x1ac94, 64)) == 109716); + assert(unsigned(zero_extend(0x1ac98, 64)) == 109720); + assert(unsigned(zero_extend(0x1ac9c, 64)) == 109724); + assert(unsigned(zero_extend(0x1aca0, 64)) == 109728); + assert(unsigned(zero_extend(0x1aca4, 64)) == 109732); + assert(unsigned(zero_extend(0x1aca8, 64)) == 109736); + assert(unsigned(zero_extend(0x1acac, 64)) == 109740); + assert(unsigned(zero_extend(0x1acb0, 64)) == 109744); + assert(unsigned(zero_extend(0x1acb4, 64)) == 109748); + assert(unsigned(zero_extend(0x1acb8, 64)) == 109752); + assert(unsigned(zero_extend(0x1acbc, 64)) == 109756); + assert(unsigned(zero_extend(0x1acc0, 64)) == 109760); + assert(unsigned(zero_extend(0x1acc4, 64)) == 109764); + assert(unsigned(zero_extend(0x1acc8, 64)) == 109768); + assert(unsigned(zero_extend(0x1accc, 64)) == 109772); + assert(unsigned(zero_extend(0x1acd0, 64)) == 109776); + assert(unsigned(zero_extend(0x1acd4, 64)) == 109780); + assert(unsigned(zero_extend(0x1acd8, 64)) == 109784); + assert(unsigned(zero_extend(0x1acdc, 64)) == 109788); + assert(unsigned(zero_extend(0x1ace0, 64)) == 109792); + assert(unsigned(zero_extend(0x1ace4, 64)) == 109796); + assert(unsigned(zero_extend(0x1ace8, 64)) == 109800); + assert(unsigned(zero_extend(0x1acec, 64)) == 109804); + assert(unsigned(zero_extend(0x1acf0, 64)) == 109808); + assert(unsigned(zero_extend(0x1acf4, 64)) == 109812); + assert(unsigned(zero_extend(0x1acf8, 64)) == 109816); + assert(unsigned(zero_extend(0x1acfc, 64)) == 109820); + assert(unsigned(zero_extend(0x1ad00, 64)) == 109824); + assert(unsigned(zero_extend(0x1ad04, 64)) == 109828); + assert(unsigned(zero_extend(0x1ad08, 64)) == 109832); + assert(unsigned(zero_extend(0x1ad0c, 64)) == 109836); + assert(unsigned(zero_extend(0x1ad10, 64)) == 109840); + assert(unsigned(zero_extend(0x1ad14, 64)) == 109844); + assert(unsigned(zero_extend(0x1ad18, 64)) == 109848); + assert(unsigned(zero_extend(0x1ad1c, 64)) == 109852); + assert(unsigned(zero_extend(0x1ad20, 64)) == 109856); + assert(unsigned(zero_extend(0x1ad24, 64)) == 109860); + assert(unsigned(zero_extend(0x1ad28, 64)) == 109864); + assert(unsigned(zero_extend(0x1ad2c, 64)) == 109868); + assert(unsigned(zero_extend(0x1ad30, 64)) == 109872); + assert(unsigned(zero_extend(0x1ad34, 64)) == 109876); + assert(unsigned(zero_extend(0x1ad38, 64)) == 109880); + assert(unsigned(zero_extend(0x1ad3c, 64)) == 109884); + assert(unsigned(zero_extend(0x1ad40, 64)) == 109888); + assert(unsigned(zero_extend(0x1ad44, 64)) == 109892); + assert(unsigned(zero_extend(0x1ad48, 64)) == 109896); + assert(unsigned(zero_extend(0x1ad4c, 64)) == 109900); + assert(unsigned(zero_extend(0x1ad50, 64)) == 109904); + assert(unsigned(zero_extend(0x1ad54, 64)) == 109908); + assert(unsigned(zero_extend(0x1ad58, 64)) == 109912); + assert(unsigned(zero_extend(0x1ad5c, 64)) == 109916); + assert(unsigned(zero_extend(0x1ad60, 64)) == 109920); + assert(unsigned(zero_extend(0x1ad64, 64)) == 109924); + assert(unsigned(zero_extend(0x1ad68, 64)) == 109928); + assert(unsigned(zero_extend(0x1ad6c, 64)) == 109932); + assert(unsigned(zero_extend(0x1ad70, 64)) == 109936); + assert(unsigned(zero_extend(0x1ad74, 64)) == 109940); + assert(unsigned(zero_extend(0x1ad78, 64)) == 109944); + assert(unsigned(zero_extend(0x1ad7c, 64)) == 109948); + assert(unsigned(zero_extend(0x1ad80, 64)) == 109952); + assert(unsigned(zero_extend(0x1ad84, 64)) == 109956); + assert(unsigned(zero_extend(0x1ad88, 64)) == 109960); + assert(unsigned(zero_extend(0x1ad8c, 64)) == 109964); + assert(unsigned(zero_extend(0x1ad90, 64)) == 109968); + assert(unsigned(zero_extend(0x1ad94, 64)) == 109972); + assert(unsigned(zero_extend(0x1ad98, 64)) == 109976); + assert(unsigned(zero_extend(0x1ad9c, 64)) == 109980); + assert(unsigned(zero_extend(0x1ada0, 64)) == 109984); + assert(unsigned(zero_extend(0x1ada4, 64)) == 109988); + assert(unsigned(zero_extend(0x1ada8, 64)) == 109992); + assert(unsigned(zero_extend(0x1adac, 64)) == 109996); + assert(unsigned(zero_extend(0x1adb0, 64)) == 110000); + assert(unsigned(zero_extend(0x1adb4, 64)) == 110004); + assert(unsigned(zero_extend(0x1adb8, 64)) == 110008); + assert(unsigned(zero_extend(0x1adbc, 64)) == 110012); + assert(unsigned(zero_extend(0x1adc0, 64)) == 110016); + assert(unsigned(zero_extend(0x1adc4, 64)) == 110020); + assert(unsigned(zero_extend(0x1adc8, 64)) == 110024); + assert(unsigned(zero_extend(0x1adcc, 64)) == 110028); + assert(unsigned(zero_extend(0x1add0, 64)) == 110032); + assert(unsigned(zero_extend(0x1add4, 64)) == 110036); + assert(unsigned(zero_extend(0x1add8, 64)) == 110040); + assert(unsigned(zero_extend(0x1addc, 64)) == 110044); + assert(unsigned(zero_extend(0x1ade0, 64)) == 110048); + assert(unsigned(zero_extend(0x1ade4, 64)) == 110052); + assert(unsigned(zero_extend(0x1ade8, 64)) == 110056); + assert(unsigned(zero_extend(0x1adec, 64)) == 110060); + assert(unsigned(zero_extend(0x1adf0, 64)) == 110064); + assert(unsigned(zero_extend(0x1adf4, 64)) == 110068); + assert(unsigned(zero_extend(0x1adf8, 64)) == 110072); + assert(unsigned(zero_extend(0x1adfc, 64)) == 110076); + assert(unsigned(zero_extend(0x1ae00, 64)) == 110080); + assert(unsigned(zero_extend(0x1ae04, 64)) == 110084); + assert(unsigned(zero_extend(0x1ae08, 64)) == 110088); + assert(unsigned(zero_extend(0x1ae0c, 64)) == 110092); + assert(unsigned(zero_extend(0x1ae10, 64)) == 110096); + assert(unsigned(zero_extend(0x1ae14, 64)) == 110100); + assert(unsigned(zero_extend(0x1ae18, 64)) == 110104); + assert(unsigned(zero_extend(0x1ae1c, 64)) == 110108); + assert(unsigned(zero_extend(0x1ae20, 64)) == 110112); + assert(unsigned(zero_extend(0x1ae28, 64)) == 110120); + assert(unsigned(zero_extend(0x1ae30, 64)) == 110128); + assert(unsigned(zero_extend(0x1ae40, 64)) == 110144); + assert(unsigned(zero_extend(0x1ae44, 64)) == 110148); + assert(unsigned(zero_extend(0x1ae48, 64)) == 110152); + assert(unsigned(zero_extend(0x1ae4c, 64)) == 110156); + assert(unsigned(zero_extend(0x1ae50, 64)) == 110160); + assert(unsigned(zero_extend(0x1ae54, 64)) == 110164); + assert(unsigned(zero_extend(0x1ae58, 64)) == 110168); + assert(unsigned(zero_extend(0x1ae5c, 64)) == 110172); + assert(unsigned(zero_extend(0x1ae60, 64)) == 110176); + assert(unsigned(zero_extend(0x1ae64, 64)) == 110180); + assert(unsigned(zero_extend(0x1ae68, 64)) == 110184); + assert(unsigned(zero_extend(0x1ae6c, 64)) == 110188); + assert(unsigned(zero_extend(0x1ae70, 64)) == 110192); + assert(unsigned(zero_extend(0x1ae74, 64)) == 110196); + assert(unsigned(zero_extend(0x1ae78, 64)) == 110200); + assert(unsigned(zero_extend(0x1ae80, 64)) == 110208); + assert(unsigned(zero_extend(0x1ae88, 64)) == 110216); + assert(unsigned(zero_extend(0x1aef0, 64)) == 110320); + assert(unsigned(zero_extend(0x1aef4, 64)) == 110324); + assert(unsigned(zero_extend(0x1aef8, 64)) == 110328); + assert(unsigned(zero_extend(0x1aefc, 64)) == 110332); + assert(unsigned(zero_extend(0x1af00, 64)) == 110336); + assert(unsigned(zero_extend(0x1af04, 64)) == 110340); + assert(unsigned(zero_extend(0x1af08, 64)) == 110344); + assert(unsigned(zero_extend(0x1af0c, 64)) == 110348); + assert(unsigned(zero_extend(0x1af10, 64)) == 110352); + assert(unsigned(zero_extend(0x1af14, 64)) == 110356); + assert(unsigned(zero_extend(0x1af18, 64)) == 110360); + assert(unsigned(zero_extend(0x1af1c, 64)) == 110364); + assert(unsigned(zero_extend(0x1af20, 64)) == 110368); + assert(unsigned(zero_extend(0x1af24, 64)) == 110372); + assert(unsigned(zero_extend(0x1af28, 64)) == 110376); + assert(unsigned(zero_extend(0x1af2c, 64)) == 110380); + assert(unsigned(zero_extend(0x1af30, 64)) == 110384); + assert(unsigned(zero_extend(0x1af34, 64)) == 110388); + assert(unsigned(zero_extend(0x1af38, 64)) == 110392); + assert(unsigned(zero_extend(0x1af3c, 64)) == 110396); + assert(unsigned(zero_extend(0x1af40, 64)) == 110400); + assert(unsigned(zero_extend(0x1af44, 64)) == 110404); + assert(unsigned(zero_extend(0x1af48, 64)) == 110408); + assert(unsigned(zero_extend(0x1af4c, 64)) == 110412); + assert(unsigned(zero_extend(0x1af50, 64)) == 110416); + assert(unsigned(zero_extend(0x1af54, 64)) == 110420); + assert(unsigned(zero_extend(0x1af58, 64)) == 110424); + assert(unsigned(zero_extend(0x1af5c, 64)) == 110428); + assert(unsigned(zero_extend(0x1af60, 64)) == 110432); + assert(unsigned(zero_extend(0x1af64, 64)) == 110436); + assert(unsigned(zero_extend(0x1af68, 64)) == 110440); + assert(unsigned(zero_extend(0x1af6c, 64)) == 110444); + assert(unsigned(zero_extend(0x1af70, 64)) == 110448); + assert(unsigned(zero_extend(0x1af74, 64)) == 110452); + assert(unsigned(zero_extend(0x1af78, 64)) == 110456); + assert(unsigned(zero_extend(0x1af7c, 64)) == 110460); + assert(unsigned(zero_extend(0x1af80, 64)) == 110464); + assert(unsigned(zero_extend(0x1af84, 64)) == 110468); + assert(unsigned(zero_extend(0x1af88, 64)) == 110472); + assert(unsigned(zero_extend(0x1af8c, 64)) == 110476); + assert(unsigned(zero_extend(0x1af90, 64)) == 110480); + assert(unsigned(zero_extend(0x1af94, 64)) == 110484); + assert(unsigned(zero_extend(0x1af98, 64)) == 110488); + assert(unsigned(zero_extend(0x1af9c, 64)) == 110492); + assert(unsigned(zero_extend(0x1afa0, 64)) == 110496); + assert(unsigned(zero_extend(0x1afa4, 64)) == 110500); + assert(unsigned(zero_extend(0x1afa8, 64)) == 110504); + assert(unsigned(zero_extend(0x1afac, 64)) == 110508); + assert(unsigned(zero_extend(0x1afb0, 64)) == 110512); + assert(unsigned(zero_extend(0x1afb4, 64)) == 110516); + assert(unsigned(zero_extend(0x1afb8, 64)) == 110520); + assert(unsigned(zero_extend(0x1afbc, 64)) == 110524); + assert(unsigned(zero_extend(0x1afc0, 64)) == 110528); + assert(unsigned(zero_extend(0x1afc4, 64)) == 110532); + assert(unsigned(zero_extend(0x1afc8, 64)) == 110536); + assert(unsigned(zero_extend(0x1afcc, 64)) == 110540); + assert(unsigned(zero_extend(0x1afd0, 64)) == 110544); + assert(unsigned(zero_extend(0x1afd4, 64)) == 110548); + assert(unsigned(zero_extend(0x1afd8, 64)) == 110552); + assert(unsigned(zero_extend(0x1afdc, 64)) == 110556); + assert(unsigned(zero_extend(0x1afe0, 64)) == 110560); + assert(unsigned(zero_extend(0x1afe4, 64)) == 110564); + assert(unsigned(zero_extend(0x1afe8, 64)) == 110568); + assert(unsigned(zero_extend(0x1afec, 64)) == 110572); + assert(unsigned(zero_extend(0x1aff0, 64)) == 110576); + assert(unsigned(zero_extend(0x1aff4, 64)) == 110580); + assert(unsigned(zero_extend(0x1aff8, 64)) == 110584); + assert(unsigned(zero_extend(0x1affc, 64)) == 110588); + assert(unsigned(zero_extend(0x1b, 64)) == 27); + assert(unsigned(zero_extend(0x1b000, 64)) == 110592); + assert(unsigned(zero_extend(0x1b004, 64)) == 110596); + assert(unsigned(zero_extend(0x1b008, 64)) == 110600); + assert(unsigned(zero_extend(0x1b00c, 64)) == 110604); + assert(unsigned(zero_extend(0x1b010, 64)) == 110608); + assert(unsigned(zero_extend(0x1b014, 64)) == 110612); + assert(unsigned(zero_extend(0x1b018, 64)) == 110616); + assert(unsigned(zero_extend(0x1b01c, 64)) == 110620); + assert(unsigned(zero_extend(0x1b020, 64)) == 110624); + assert(unsigned(zero_extend(0x1b024, 64)) == 110628); + assert(unsigned(zero_extend(0x1b028, 64)) == 110632); + assert(unsigned(zero_extend(0x1b02c, 64)) == 110636); + assert(unsigned(zero_extend(0x1b030, 64)) == 110640); + assert(unsigned(zero_extend(0x1b034, 64)) == 110644); + assert(unsigned(zero_extend(0x1b038, 64)) == 110648); + assert(unsigned(zero_extend(0x1b03c, 64)) == 110652); + assert(unsigned(zero_extend(0x1b040, 64)) == 110656); + assert(unsigned(zero_extend(0x1b044, 64)) == 110660); + assert(unsigned(zero_extend(0x1b048, 64)) == 110664); + assert(unsigned(zero_extend(0x1b04c, 64)) == 110668); + assert(unsigned(zero_extend(0x1b050, 64)) == 110672); + assert(unsigned(zero_extend(0x1b054, 64)) == 110676); + assert(unsigned(zero_extend(0x1b058, 64)) == 110680); + assert(unsigned(zero_extend(0x1b05c, 64)) == 110684); + assert(unsigned(zero_extend(0x1b060, 64)) == 110688); + assert(unsigned(zero_extend(0x1b064, 64)) == 110692); + assert(unsigned(zero_extend(0x1b068, 64)) == 110696); + assert(unsigned(zero_extend(0x1b06c, 64)) == 110700); + assert(unsigned(zero_extend(0x1b070, 64)) == 110704); + assert(unsigned(zero_extend(0x1b074, 64)) == 110708); + assert(unsigned(zero_extend(0x1b078, 64)) == 110712); + assert(unsigned(zero_extend(0x1b07c, 64)) == 110716); + assert(unsigned(zero_extend(0x1b080, 64)) == 110720); + assert(unsigned(zero_extend(0x1b088, 64)) == 110728); + assert(unsigned(zero_extend(0x1b090, 64)) == 110736); + assert(unsigned(zero_extend(0x1b098, 64)) == 110744); + assert(unsigned(zero_extend(0x1b09c, 64)) == 110748); + assert(unsigned(zero_extend(0x1b0a0, 64)) == 110752); + assert(unsigned(zero_extend(0x1b0a4, 64)) == 110756); + assert(unsigned(zero_extend(0x1b0a8, 64)) == 110760); + assert(unsigned(zero_extend(0x1b0ac, 64)) == 110764); + assert(unsigned(zero_extend(0x1b0b0, 64)) == 110768); + assert(unsigned(zero_extend(0x1b0b4, 64)) == 110772); + assert(unsigned(zero_extend(0x1b0b8, 64)) == 110776); + assert(unsigned(zero_extend(0x1b0bc, 64)) == 110780); + assert(unsigned(zero_extend(0x1b0c0, 64)) == 110784); + assert(unsigned(zero_extend(0x1b0c4, 64)) == 110788); + assert(unsigned(zero_extend(0x1b0c8, 64)) == 110792); + assert(unsigned(zero_extend(0x1b0cc, 64)) == 110796); + assert(unsigned(zero_extend(0x1b0d0, 64)) == 110800); + assert(unsigned(zero_extend(0x1b0d4, 64)) == 110804); + assert(unsigned(zero_extend(0x1b0d8, 64)) == 110808); + assert(unsigned(zero_extend(0x1b0dc, 64)) == 110812); + assert(unsigned(zero_extend(0x1b0e0, 64)) == 110816); + assert(unsigned(zero_extend(0x1b0e4, 64)) == 110820); + assert(unsigned(zero_extend(0x1b0e8, 64)) == 110824); + assert(unsigned(zero_extend(0x1b0ec, 64)) == 110828); + assert(unsigned(zero_extend(0x1b0f0, 64)) == 110832); + assert(unsigned(zero_extend(0x1b0f4, 64)) == 110836); + assert(unsigned(zero_extend(0x1b0f8, 64)) == 110840); + assert(unsigned(zero_extend(0x1b0fc, 64)) == 110844); + assert(unsigned(zero_extend(0x1b100, 64)) == 110848); + assert(unsigned(zero_extend(0x1b104, 64)) == 110852); + assert(unsigned(zero_extend(0x1b108, 64)) == 110856); + assert(unsigned(zero_extend(0x1b10c, 64)) == 110860); + assert(unsigned(zero_extend(0x1b110, 64)) == 110864); + assert(unsigned(zero_extend(0x1b114, 64)) == 110868); + assert(unsigned(zero_extend(0x1b118, 64)) == 110872); + assert(unsigned(zero_extend(0x1b11c, 64)) == 110876); + assert(unsigned(zero_extend(0x1b120, 64)) == 110880); + assert(unsigned(zero_extend(0x1b124, 64)) == 110884); + assert(unsigned(zero_extend(0x1b128, 64)) == 110888); + assert(unsigned(zero_extend(0x1b12c, 64)) == 110892); + assert(unsigned(zero_extend(0x1b130, 64)) == 110896); + assert(unsigned(zero_extend(0x1b134, 64)) == 110900); + assert(unsigned(zero_extend(0x1b138, 64)) == 110904); + assert(unsigned(zero_extend(0x1b13c, 64)) == 110908); + assert(unsigned(zero_extend(0x1b140, 64)) == 110912); + assert(unsigned(zero_extend(0x1b144, 64)) == 110916); + assert(unsigned(zero_extend(0x1b148, 64)) == 110920); + assert(unsigned(zero_extend(0x1b14c, 64)) == 110924); + assert(unsigned(zero_extend(0x1b150, 64)) == 110928); + assert(unsigned(zero_extend(0x1b154, 64)) == 110932); + assert(unsigned(zero_extend(0x1b158, 64)) == 110936); + assert(unsigned(zero_extend(0x1b15c, 64)) == 110940); + assert(unsigned(zero_extend(0x1b160, 64)) == 110944); + assert(unsigned(zero_extend(0x1b164, 64)) == 110948); + assert(unsigned(zero_extend(0x1b168, 64)) == 110952); + assert(unsigned(zero_extend(0x1b16c, 64)) == 110956); + assert(unsigned(zero_extend(0x1b170, 64)) == 110960); + assert(unsigned(zero_extend(0x1b174, 64)) == 110964); + assert(unsigned(zero_extend(0x1b178, 64)) == 110968); + assert(unsigned(zero_extend(0x1b17c, 64)) == 110972); + assert(unsigned(zero_extend(0x1b180, 64)) == 110976); + assert(unsigned(zero_extend(0x1b184, 64)) == 110980); + assert(unsigned(zero_extend(0x1b188, 64)) == 110984); + assert(unsigned(zero_extend(0x1b18c, 64)) == 110988); + assert(unsigned(zero_extend(0x1b190, 64)) == 110992); + assert(unsigned(zero_extend(0x1b194, 64)) == 110996); + assert(unsigned(zero_extend(0x1b198, 64)) == 111000); + assert(unsigned(zero_extend(0x1b19c, 64)) == 111004); + assert(unsigned(zero_extend(0x1b1a0, 64)) == 111008); + assert(unsigned(zero_extend(0x1b1a4, 64)) == 111012); + assert(unsigned(zero_extend(0x1b1a8, 64)) == 111016); + assert(unsigned(zero_extend(0x1b1ac, 64)) == 111020); + assert(unsigned(zero_extend(0x1b1b0, 64)) == 111024); + assert(unsigned(zero_extend(0x1b1b4, 64)) == 111028); + assert(unsigned(zero_extend(0x1b1b8, 64)) == 111032); + assert(unsigned(zero_extend(0x1b1bc, 64)) == 111036); + assert(unsigned(zero_extend(0x1b1c0, 64)) == 111040); + assert(unsigned(zero_extend(0x1b1c4, 64)) == 111044); + assert(unsigned(zero_extend(0x1b1c8, 64)) == 111048); + assert(unsigned(zero_extend(0x1b1cc, 64)) == 111052); + assert(unsigned(zero_extend(0x1b1d0, 64)) == 111056); + assert(unsigned(zero_extend(0x1b1d4, 64)) == 111060); + assert(unsigned(zero_extend(0x1b1d8, 64)) == 111064); + assert(unsigned(zero_extend(0x1b1dc, 64)) == 111068); + assert(unsigned(zero_extend(0x1b1e0, 64)) == 111072); + assert(unsigned(zero_extend(0x1b1e4, 64)) == 111076); + assert(unsigned(zero_extend(0x1b1e8, 64)) == 111080); + assert(unsigned(zero_extend(0x1b1f8, 64)) == 111096); + assert(unsigned(zero_extend(0x1b1fc, 64)) == 111100); + assert(unsigned(zero_extend(0x1b200, 64)) == 111104); + assert(unsigned(zero_extend(0x1b204, 64)) == 111108); + assert(unsigned(zero_extend(0x1b208, 64)) == 111112); + assert(unsigned(zero_extend(0x1b20c, 64)) == 111116); + assert(unsigned(zero_extend(0x1b210, 64)) == 111120); + assert(unsigned(zero_extend(0x1b214, 64)) == 111124); + assert(unsigned(zero_extend(0x1b218, 64)) == 111128); + assert(unsigned(zero_extend(0x1b21c, 64)) == 111132); + assert(unsigned(zero_extend(0x1b220, 64)) == 111136); + assert(unsigned(zero_extend(0x1b224, 64)) == 111140); + assert(unsigned(zero_extend(0x1b228, 64)) == 111144); + assert(unsigned(zero_extend(0x1b22c, 64)) == 111148); + assert(unsigned(zero_extend(0x1b230, 64)) == 111152); + assert(unsigned(zero_extend(0x1b238, 64)) == 111160); + assert(unsigned(zero_extend(0x1b240, 64)) == 111168); + assert(unsigned(zero_extend(0x1b248, 64)) == 111176); + assert(unsigned(zero_extend(0x1b250, 64)) == 111184); + assert(unsigned(zero_extend(0x1b254, 64)) == 111188); + assert(unsigned(zero_extend(0x1b258, 64)) == 111192); + assert(unsigned(zero_extend(0x1b25c, 64)) == 111196); + assert(unsigned(zero_extend(0x1b260, 64)) == 111200); + assert(unsigned(zero_extend(0x1b264, 64)) == 111204); + assert(unsigned(zero_extend(0x1b268, 64)) == 111208); + assert(unsigned(zero_extend(0x1b26c, 64)) == 111212); + assert(unsigned(zero_extend(0x1b270, 64)) == 111216); + assert(unsigned(zero_extend(0x1b274, 64)) == 111220); + assert(unsigned(zero_extend(0x1b278, 64)) == 111224); + assert(unsigned(zero_extend(0x1b27c, 64)) == 111228); + assert(unsigned(zero_extend(0x1b280, 64)) == 111232); + assert(unsigned(zero_extend(0x1b288, 64)) == 111240); + assert(unsigned(zero_extend(0x1b290, 64)) == 111248); + assert(unsigned(zero_extend(0x1b298, 64)) == 111256); + assert(unsigned(zero_extend(0x1b2a0, 64)) == 111264); + assert(unsigned(zero_extend(0x1b2a8, 64)) == 111272); + assert(unsigned(zero_extend(0x1b690, 64)) == 112272); + assert(unsigned(zero_extend(0x1b694, 64)) == 112276); + assert(unsigned(zero_extend(0x1b698, 64)) == 112280); + assert(unsigned(zero_extend(0x1b69c, 64)) == 112284); + assert(unsigned(zero_extend(0x1b6a0, 64)) == 112288); + assert(unsigned(zero_extend(0x1b6a4, 64)) == 112292); + assert(unsigned(zero_extend(0x1b6a8, 64)) == 112296); + assert(unsigned(zero_extend(0x1b6ac, 64)) == 112300); + assert(unsigned(zero_extend(0x1b6b0, 64)) == 112304); + assert(unsigned(zero_extend(0x1b6b4, 64)) == 112308); + assert(unsigned(zero_extend(0x1b6b8, 64)) == 112312); + assert(unsigned(zero_extend(0x1b6bc, 64)) == 112316); + assert(unsigned(zero_extend(0x1b6c0, 64)) == 112320); + assert(unsigned(zero_extend(0x1b6c4, 64)) == 112324); + assert(unsigned(zero_extend(0x1b6d4, 64)) == 112340); + assert(unsigned(zero_extend(0x1b6d8, 64)) == 112344); + assert(unsigned(zero_extend(0x1b6dc, 64)) == 112348); + assert(unsigned(zero_extend(0x1b6e0, 64)) == 112352); + assert(unsigned(zero_extend(0x1b6e4, 64)) == 112356); + assert(unsigned(zero_extend(0x1b6e8, 64)) == 112360); + assert(unsigned(zero_extend(0x1b6ec, 64)) == 112364); + assert(unsigned(zero_extend(0x1b6f0, 64)) == 112368); + assert(unsigned(zero_extend(0x1b6f4, 64)) == 112372); + assert(unsigned(zero_extend(0x1b6f8, 64)) == 112376); + assert(unsigned(zero_extend(0x1b6fc, 64)) == 112380); + assert(unsigned(zero_extend(0x1b700, 64)) == 112384); + assert(unsigned(zero_extend(0x1b704, 64)) == 112388); + assert(unsigned(zero_extend(0x1b708, 64)) == 112392); + assert(unsigned(zero_extend(0x1b70c, 64)) == 112396); + assert(unsigned(zero_extend(0x1b710, 64)) == 112400); + assert(unsigned(zero_extend(0x1b714, 64)) == 112404); + assert(unsigned(zero_extend(0x1b718, 64)) == 112408); + assert(unsigned(zero_extend(0x1b71c, 64)) == 112412); + assert(unsigned(zero_extend(0x1b720, 64)) == 112416); + assert(unsigned(zero_extend(0x1b724, 64)) == 112420); + assert(unsigned(zero_extend(0x1b728, 64)) == 112424); + assert(unsigned(zero_extend(0x1b72c, 64)) == 112428); + assert(unsigned(zero_extend(0x1b730, 64)) == 112432); + assert(unsigned(zero_extend(0x1b734, 64)) == 112436); + assert(unsigned(zero_extend(0x1b738, 64)) == 112440); + assert(unsigned(zero_extend(0x1b73c, 64)) == 112444); + assert(unsigned(zero_extend(0x1b740, 64)) == 112448); + assert(unsigned(zero_extend(0x1b744, 64)) == 112452); + assert(unsigned(zero_extend(0x1b748, 64)) == 112456); + assert(unsigned(zero_extend(0x1b74c, 64)) == 112460); + assert(unsigned(zero_extend(0x1b750, 64)) == 112464); + assert(unsigned(zero_extend(0x1b754, 64)) == 112468); + assert(unsigned(zero_extend(0x1b758, 64)) == 112472); + assert(unsigned(zero_extend(0x1b75c, 64)) == 112476); + assert(unsigned(zero_extend(0x1b760, 64)) == 112480); + assert(unsigned(zero_extend(0x1b764, 64)) == 112484); + assert(unsigned(zero_extend(0x1b768, 64)) == 112488); + assert(unsigned(zero_extend(0x1b76c, 64)) == 112492); + assert(unsigned(zero_extend(0x1b770, 64)) == 112496); + assert(unsigned(zero_extend(0x1b774, 64)) == 112500); + assert(unsigned(zero_extend(0x1b778, 64)) == 112504); + assert(unsigned(zero_extend(0x1b77c, 64)) == 112508); + assert(unsigned(zero_extend(0x1b780, 64)) == 112512); + assert(unsigned(zero_extend(0x1b784, 64)) == 112516); + assert(unsigned(zero_extend(0x1b788, 64)) == 112520); + assert(unsigned(zero_extend(0x1b78c, 64)) == 112524); + assert(unsigned(zero_extend(0x1b7b8, 64)) == 112568); + assert(unsigned(zero_extend(0x1b7bc, 64)) == 112572); + assert(unsigned(zero_extend(0x1b7c0, 64)) == 112576); + assert(unsigned(zero_extend(0x1b7c4, 64)) == 112580); + assert(unsigned(zero_extend(0x1b7c8, 64)) == 112584); + assert(unsigned(zero_extend(0x1b7cc, 64)) == 112588); + assert(unsigned(zero_extend(0x1b7d0, 64)) == 112592); + assert(unsigned(zero_extend(0x1b7d4, 64)) == 112596); + assert(unsigned(zero_extend(0x1b7d8, 64)) == 112600); + assert(unsigned(zero_extend(0x1b7dc, 64)) == 112604); + assert(unsigned(zero_extend(0x1b7e0, 64)) == 112608); + assert(unsigned(zero_extend(0x1b7e8, 64)) == 112616); + assert(unsigned(zero_extend(0x1b7f0, 64)) == 112624); + assert(unsigned(zero_extend(0x1b810, 64)) == 112656); + assert(unsigned(zero_extend(0x1b814, 64)) == 112660); + assert(unsigned(zero_extend(0x1b818, 64)) == 112664); + assert(unsigned(zero_extend(0x1b81c, 64)) == 112668); + assert(unsigned(zero_extend(0x1b820, 64)) == 112672); + assert(unsigned(zero_extend(0x1b824, 64)) == 112676); + assert(unsigned(zero_extend(0x1b828, 64)) == 112680); + assert(unsigned(zero_extend(0x1b82c, 64)) == 112684); + assert(unsigned(zero_extend(0x1b830, 64)) == 112688); + assert(unsigned(zero_extend(0x1b838, 64)) == 112696); + assert(unsigned(zero_extend(0x1b83c, 64)) == 112700); + assert(unsigned(zero_extend(0x1b840, 64)) == 112704); + assert(unsigned(zero_extend(0x1b844, 64)) == 112708); + assert(unsigned(zero_extend(0x1b848, 64)) == 112712); + assert(unsigned(zero_extend(0x1b84c, 64)) == 112716); + assert(unsigned(zero_extend(0x1b850, 64)) == 112720); + assert(unsigned(zero_extend(0x1b854, 64)) == 112724); + assert(unsigned(zero_extend(0x1b858, 64)) == 112728); + assert(unsigned(zero_extend(0x1b85c, 64)) == 112732); + assert(unsigned(zero_extend(0x1b860, 64)) == 112736); + assert(unsigned(zero_extend(0x1b864, 64)) == 112740); + assert(unsigned(zero_extend(0x1b868, 64)) == 112744); + assert(unsigned(zero_extend(0x1b86c, 64)) == 112748); + assert(unsigned(zero_extend(0x1b870, 64)) == 112752); + assert(unsigned(zero_extend(0x1b874, 64)) == 112756); + assert(unsigned(zero_extend(0x1b878, 64)) == 112760); + assert(unsigned(zero_extend(0x1b87c, 64)) == 112764); + assert(unsigned(zero_extend(0x1b888, 64)) == 112776); + assert(unsigned(zero_extend(0x1b890, 64)) == 112784); + assert(unsigned(zero_extend(0x1b894, 64)) == 112788); + assert(unsigned(zero_extend(0x1b898, 64)) == 112792); + assert(unsigned(zero_extend(0x1b89c, 64)) == 112796); + assert(unsigned(zero_extend(0x1b8a0, 64)) == 112800); + assert(unsigned(zero_extend(0x1b8a4, 64)) == 112804); + assert(unsigned(zero_extend(0x1b8a8, 64)) == 112808); + assert(unsigned(zero_extend(0x1b8ac, 64)) == 112812); + assert(unsigned(zero_extend(0x1b8b0, 64)) == 112816); + assert(unsigned(zero_extend(0x1b8b4, 64)) == 112820); + assert(unsigned(zero_extend(0x1b8b8, 64)) == 112824); + assert(unsigned(zero_extend(0x1b8bc, 64)) == 112828); + assert(unsigned(zero_extend(0x1b8c0, 64)) == 112832); + assert(unsigned(zero_extend(0x1b8c4, 64)) == 112836); + assert(unsigned(zero_extend(0x1b8c8, 64)) == 112840); + assert(unsigned(zero_extend(0x1b8cc, 64)) == 112844); + assert(unsigned(zero_extend(0x1b8d0, 64)) == 112848); + assert(unsigned(zero_extend(0x1b8d4, 64)) == 112852); + assert(unsigned(zero_extend(0x1b910, 64)) == 112912); + assert(unsigned(zero_extend(0x1b914, 64)) == 112916); + assert(unsigned(zero_extend(0x1b918, 64)) == 112920); + assert(unsigned(zero_extend(0x1b91c, 64)) == 112924); + assert(unsigned(zero_extend(0x1b920, 64)) == 112928); + assert(unsigned(zero_extend(0x1b924, 64)) == 112932); + assert(unsigned(zero_extend(0x1b928, 64)) == 112936); + assert(unsigned(zero_extend(0x1b92c, 64)) == 112940); + assert(unsigned(zero_extend(0x1b930, 64)) == 112944); + assert(unsigned(zero_extend(0x1b934, 64)) == 112948); + assert(unsigned(zero_extend(0x1b938, 64)) == 112952); + assert(unsigned(zero_extend(0x1b93c, 64)) == 112956); + assert(unsigned(zero_extend(0x1b940, 64)) == 112960); + assert(unsigned(zero_extend(0x1b944, 64)) == 112964); + assert(unsigned(zero_extend(0x1b948, 64)) == 112968); + assert(unsigned(zero_extend(0x1b94c, 64)) == 112972); + assert(unsigned(zero_extend(0x1b950, 64)) == 112976); + assert(unsigned(zero_extend(0x1b954, 64)) == 112980); + assert(unsigned(zero_extend(0x1b958, 64)) == 112984); + assert(unsigned(zero_extend(0x1b95c, 64)) == 112988); + assert(unsigned(zero_extend(0x1b960, 64)) == 112992); + assert(unsigned(zero_extend(0x1b964, 64)) == 112996); + assert(unsigned(zero_extend(0x1b968, 64)) == 113000); + assert(unsigned(zero_extend(0x1b96c, 64)) == 113004); + assert(unsigned(zero_extend(0x1b970, 64)) == 113008); + assert(unsigned(zero_extend(0x1b974, 64)) == 113012); + assert(unsigned(zero_extend(0x1b978, 64)) == 113016); + assert(unsigned(zero_extend(0x1b97c, 64)) == 113020); + assert(unsigned(zero_extend(0x1b980, 64)) == 113024); + assert(unsigned(zero_extend(0x1b984, 64)) == 113028); + assert(unsigned(zero_extend(0x1b988, 64)) == 113032); + assert(unsigned(zero_extend(0x1b98c, 64)) == 113036); + assert(unsigned(zero_extend(0x1b990, 64)) == 113040); + assert(unsigned(zero_extend(0x1b994, 64)) == 113044); + assert(unsigned(zero_extend(0x1b998, 64)) == 113048); + assert(unsigned(zero_extend(0x1b99c, 64)) == 113052); + assert(unsigned(zero_extend(0x1b9a0, 64)) == 113056); + assert(unsigned(zero_extend(0x1b9a4, 64)) == 113060); + assert(unsigned(zero_extend(0x1b9a8, 64)) == 113064); + assert(unsigned(zero_extend(0x1b9ac, 64)) == 113068); + assert(unsigned(zero_extend(0x1b9b0, 64)) == 113072); + assert(unsigned(zero_extend(0x1b9b4, 64)) == 113076); + assert(unsigned(zero_extend(0x1b9b8, 64)) == 113080); + assert(unsigned(zero_extend(0x1b9bc, 64)) == 113084); + assert(unsigned(zero_extend(0x1b9c0, 64)) == 113088); + assert(unsigned(zero_extend(0x1b9c4, 64)) == 113092); + assert(unsigned(zero_extend(0x1b9c8, 64)) == 113096); + assert(unsigned(zero_extend(0x1b9cc, 64)) == 113100); + assert(unsigned(zero_extend(0x1ba00, 64)) == 113152); + assert(unsigned(zero_extend(0x1ba04, 64)) == 113156); + assert(unsigned(zero_extend(0x1ba08, 64)) == 113160); + assert(unsigned(zero_extend(0x1ba0c, 64)) == 113164); + assert(unsigned(zero_extend(0x1ba10, 64)) == 113168); + assert(unsigned(zero_extend(0x1ba14, 64)) == 113172); + assert(unsigned(zero_extend(0x1ba18, 64)) == 113176); + assert(unsigned(zero_extend(0x1ba1c, 64)) == 113180); + assert(unsigned(zero_extend(0x1ba20, 64)) == 113184); + assert(unsigned(zero_extend(0x1ba24, 64)) == 113188); + assert(unsigned(zero_extend(0x1ba7c, 64)) == 113276); + assert(unsigned(zero_extend(0x1ba80, 64)) == 113280); + assert(unsigned(zero_extend(0x1ba84, 64)) == 113284); + assert(unsigned(zero_extend(0x1ba88, 64)) == 113288); + assert(unsigned(zero_extend(0x1ba8c, 64)) == 113292); + assert(unsigned(zero_extend(0x1ba90, 64)) == 113296); + assert(unsigned(zero_extend(0x1ba94, 64)) == 113300); + assert(unsigned(zero_extend(0x1ba98, 64)) == 113304); + assert(unsigned(zero_extend(0x1ba9c, 64)) == 113308); + assert(unsigned(zero_extend(0x1baa0, 64)) == 113312); + assert(unsigned(zero_extend(0x1baa4, 64)) == 113316); + assert(unsigned(zero_extend(0x1baa8, 64)) == 113320); + assert(unsigned(zero_extend(0x1bad0, 64)) == 113360); + assert(unsigned(zero_extend(0x1bad4, 64)) == 113364); + assert(unsigned(zero_extend(0x1bad8, 64)) == 113368); + assert(unsigned(zero_extend(0x1badc, 64)) == 113372); + assert(unsigned(zero_extend(0x1bae0, 64)) == 113376); + assert(unsigned(zero_extend(0x1bae4, 64)) == 113380); + assert(unsigned(zero_extend(0x1bae8, 64)) == 113384); + assert(unsigned(zero_extend(0x1baec, 64)) == 113388); + assert(unsigned(zero_extend(0x1baf0, 64)) == 113392); + assert(unsigned(zero_extend(0x1baf4, 64)) == 113396); + assert(unsigned(zero_extend(0x1baf8, 64)) == 113400); + assert(unsigned(zero_extend(0x1bafc, 64)) == 113404); + assert(unsigned(zero_extend(0x1bb00, 64)) == 113408); + assert(unsigned(zero_extend(0x1bb08, 64)) == 113416); + assert(unsigned(zero_extend(0x1bb28, 64)) == 113448); + assert(unsigned(zero_extend(0x1bb2c, 64)) == 113452); + assert(unsigned(zero_extend(0x1bb30, 64)) == 113456); + assert(unsigned(zero_extend(0x1bb34, 64)) == 113460); + assert(unsigned(zero_extend(0x1bb38, 64)) == 113464); + assert(unsigned(zero_extend(0x1bb3c, 64)) == 113468); + assert(unsigned(zero_extend(0x1bb40, 64)) == 113472); + assert(unsigned(zero_extend(0x1bb44, 64)) == 113476); + assert(unsigned(zero_extend(0x1bb48, 64)) == 113480); + assert(unsigned(zero_extend(0x1bb50, 64)) == 113488); + assert(unsigned(zero_extend(0x1bb58, 64)) == 113496); + assert(unsigned(zero_extend(0x1bb60, 64)) == 113504); + assert(unsigned(zero_extend(0x1bba8, 64)) == 113576); + assert(unsigned(zero_extend(0x1bd68, 64)) == 114024); + assert(unsigned(zero_extend(0x1bd6c, 64)) == 114028); + assert(unsigned(zero_extend(0x1bd70, 64)) == 114032); + assert(unsigned(zero_extend(0x1bd74, 64)) == 114036); + assert(unsigned(zero_extend(0x1bd78, 64)) == 114040); + assert(unsigned(zero_extend(0x1bd7c, 64)) == 114044); + assert(unsigned(zero_extend(0x1bd80, 64)) == 114048); + assert(unsigned(zero_extend(0x1bd84, 64)) == 114052); + assert(unsigned(zero_extend(0x1bd88, 64)) == 114056); + assert(unsigned(zero_extend(0x1bd8c, 64)) == 114060); + assert(unsigned(zero_extend(0x1bd90, 64)) == 114064); + assert(unsigned(zero_extend(0x1bd94, 64)) == 114068); + assert(unsigned(zero_extend(0x1bd98, 64)) == 114072); + assert(unsigned(zero_extend(0x1bd9c, 64)) == 114076); + assert(unsigned(zero_extend(0x1bda0, 64)) == 114080); + assert(unsigned(zero_extend(0x1bda4, 64)) == 114084); + assert(unsigned(zero_extend(0x1bda8, 64)) == 114088); + assert(unsigned(zero_extend(0x1bdac, 64)) == 114092); + assert(unsigned(zero_extend(0x1bdb0, 64)) == 114096); + assert(unsigned(zero_extend(0x1bdb4, 64)) == 114100); + assert(unsigned(zero_extend(0x1bdb8, 64)) == 114104); + assert(unsigned(zero_extend(0x1bdbc, 64)) == 114108); + assert(unsigned(zero_extend(0x1bdc0, 64)) == 114112); + assert(unsigned(zero_extend(0x1bdc4, 64)) == 114116); + assert(unsigned(zero_extend(0x1bdc8, 64)) == 114120); + assert(unsigned(zero_extend(0x1bdcc, 64)) == 114124); + assert(unsigned(zero_extend(0x1bdd0, 64)) == 114128); + assert(unsigned(zero_extend(0x1bdd4, 64)) == 114132); + assert(unsigned(zero_extend(0x1bdd8, 64)) == 114136); + assert(unsigned(zero_extend(0x1bddc, 64)) == 114140); + assert(unsigned(zero_extend(0x1bde0, 64)) == 114144); + assert(unsigned(zero_extend(0x1bde4, 64)) == 114148); + assert(unsigned(zero_extend(0x1bde8, 64)) == 114152); + assert(unsigned(zero_extend(0x1bdec, 64)) == 114156); + assert(unsigned(zero_extend(0x1bdf0, 64)) == 114160); + assert(unsigned(zero_extend(0x1bdf4, 64)) == 114164); + assert(unsigned(zero_extend(0x1bdf8, 64)) == 114168); + assert(unsigned(zero_extend(0x1bdfc, 64)) == 114172); + assert(unsigned(zero_extend(0x1be00, 64)) == 114176); + assert(unsigned(zero_extend(0x1be04, 64)) == 114180); + assert(unsigned(zero_extend(0x1be08, 64)) == 114184); + assert(unsigned(zero_extend(0x1be0c, 64)) == 114188); + assert(unsigned(zero_extend(0x1be10, 64)) == 114192); + assert(unsigned(zero_extend(0x1be14, 64)) == 114196); + assert(unsigned(zero_extend(0x1be18, 64)) == 114200); + assert(unsigned(zero_extend(0x1be1c, 64)) == 114204); + assert(unsigned(zero_extend(0x1be20, 64)) == 114208); + assert(unsigned(zero_extend(0x1be24, 64)) == 114212); + assert(unsigned(zero_extend(0x1be28, 64)) == 114216); + assert(unsigned(zero_extend(0x1be2c, 64)) == 114220); + assert(unsigned(zero_extend(0x1be30, 64)) == 114224); + assert(unsigned(zero_extend(0x1be34, 64)) == 114228); + assert(unsigned(zero_extend(0x1be38, 64)) == 114232); + assert(unsigned(zero_extend(0x1be3c, 64)) == 114236); + assert(unsigned(zero_extend(0x1be40, 64)) == 114240); + assert(unsigned(zero_extend(0x1be44, 64)) == 114244); + assert(unsigned(zero_extend(0x1be48, 64)) == 114248); + assert(unsigned(zero_extend(0x1be4c, 64)) == 114252); + assert(unsigned(zero_extend(0x1be50, 64)) == 114256); + assert(unsigned(zero_extend(0x1be54, 64)) == 114260); + assert(unsigned(zero_extend(0x1be58, 64)) == 114264); + assert(unsigned(zero_extend(0x1be5c, 64)) == 114268); + assert(unsigned(zero_extend(0x1be60, 64)) == 114272); + assert(unsigned(zero_extend(0x1be64, 64)) == 114276); + assert(unsigned(zero_extend(0x1be68, 64)) == 114280); + assert(unsigned(zero_extend(0x1be6c, 64)) == 114284); + assert(unsigned(zero_extend(0x1be70, 64)) == 114288); + assert(unsigned(zero_extend(0x1be74, 64)) == 114292); + assert(unsigned(zero_extend(0x1be78, 64)) == 114296); + assert(unsigned(zero_extend(0x1be7c, 64)) == 114300); + assert(unsigned(zero_extend(0x1be80, 64)) == 114304); + assert(unsigned(zero_extend(0x1be84, 64)) == 114308); + assert(unsigned(zero_extend(0x1be88, 64)) == 114312); + assert(unsigned(zero_extend(0x1be8c, 64)) == 114316); + assert(unsigned(zero_extend(0x1be90, 64)) == 114320); + assert(unsigned(zero_extend(0x1be94, 64)) == 114324); + assert(unsigned(zero_extend(0x1be98, 64)) == 114328); + assert(unsigned(zero_extend(0x1be9c, 64)) == 114332); + assert(unsigned(zero_extend(0x1bea0, 64)) == 114336); + assert(unsigned(zero_extend(0x1bea4, 64)) == 114340); + assert(unsigned(zero_extend(0x1beb4, 64)) == 114356); + assert(unsigned(zero_extend(0x1beb8, 64)) == 114360); + assert(unsigned(zero_extend(0x1bebc, 64)) == 114364); + assert(unsigned(zero_extend(0x1bec0, 64)) == 114368); + assert(unsigned(zero_extend(0x1bec4, 64)) == 114372); + assert(unsigned(zero_extend(0x1bec8, 64)) == 114376); + assert(unsigned(zero_extend(0x1becc, 64)) == 114380); + assert(unsigned(zero_extend(0x1bed0, 64)) == 114384); + assert(unsigned(zero_extend(0x1bed4, 64)) == 114388); + assert(unsigned(zero_extend(0x1bed8, 64)) == 114392); + assert(unsigned(zero_extend(0x1bedc, 64)) == 114396); + assert(unsigned(zero_extend(0x1bee0, 64)) == 114400); + assert(unsigned(zero_extend(0x1bef0, 64)) == 114416); + assert(unsigned(zero_extend(0x1bef4, 64)) == 114420); + assert(unsigned(zero_extend(0x1bef8, 64)) == 114424); + assert(unsigned(zero_extend(0x1befc, 64)) == 114428); + assert(unsigned(zero_extend(0x1bf5c, 64)) == 114524); + assert(unsigned(zero_extend(0x1bf60, 64)) == 114528); + assert(unsigned(zero_extend(0x1bf64, 64)) == 114532); + assert(unsigned(zero_extend(0x1bf68, 64)) == 114536); + assert(unsigned(zero_extend(0x1bf6c, 64)) == 114540); + assert(unsigned(zero_extend(0x1bf70, 64)) == 114544); + assert(unsigned(zero_extend(0x1bf88, 64)) == 114568); + assert(unsigned(zero_extend(0x1bf8c, 64)) == 114572); + assert(unsigned(zero_extend(0x1bf90, 64)) == 114576); + assert(unsigned(zero_extend(0x1bf94, 64)) == 114580); + assert(unsigned(zero_extend(0x1bf98, 64)) == 114584); + assert(unsigned(zero_extend(0x1bf9c, 64)) == 114588); + assert(unsigned(zero_extend(0x1bfa0, 64)) == 114592); + assert(unsigned(zero_extend(0x1bfa4, 64)) == 114596); + assert(unsigned(zero_extend(0x1bfa8, 64)) == 114600); + assert(unsigned(zero_extend(0x1bfac, 64)) == 114604); + assert(unsigned(zero_extend(0x1bfb0, 64)) == 114608); + assert(unsigned(zero_extend(0x1bfb4, 64)) == 114612); + assert(unsigned(zero_extend(0x1bfb8, 64)) == 114616); + assert(unsigned(zero_extend(0x1bfbc, 64)) == 114620); + assert(unsigned(zero_extend(0x1bfc0, 64)) == 114624); + assert(unsigned(zero_extend(0x1bfc4, 64)) == 114628); + assert(unsigned(zero_extend(0x1bfc8, 64)) == 114632); + assert(unsigned(zero_extend(0x1bfcc, 64)) == 114636); + assert(unsigned(zero_extend(0x1bfd0, 64)) == 114640); + assert(unsigned(zero_extend(0x1bfd4, 64)) == 114644); + assert(unsigned(zero_extend(0x1bfd8, 64)) == 114648); + assert(unsigned(zero_extend(0x1bfdc, 64)) == 114652); + assert(unsigned(zero_extend(0x1bfe0, 64)) == 114656); + assert(unsigned(zero_extend(0x1bfe4, 64)) == 114660); + assert(unsigned(zero_extend(0x1bfe8, 64)) == 114664); + assert(unsigned(zero_extend(0x1bfec, 64)) == 114668); + assert(unsigned(zero_extend(0x1bff0, 64)) == 114672); + assert(unsigned(zero_extend(0x1bff4, 64)) == 114676); + assert(unsigned(zero_extend(0x1bff8, 64)) == 114680); + assert(unsigned(zero_extend(0x1bffc, 64)) == 114684); + assert(unsigned(zero_extend(0x1c, 64)) == 28); + assert(unsigned(zero_extend(0x1c0, 64)) == 448); + assert(unsigned(zero_extend(0x1c000, 64)) == 114688); + assert(unsigned(zero_extend(0x1c004, 64)) == 114692); + assert(unsigned(zero_extend(0x1c008, 64)) == 114696); + assert(unsigned(zero_extend(0x1c00c, 64)) == 114700); + assert(unsigned(zero_extend(0x1c010, 64)) == 114704); + assert(unsigned(zero_extend(0x1c014, 64)) == 114708); + assert(unsigned(zero_extend(0x1c018, 64)) == 114712); + assert(unsigned(zero_extend(0x1c01c, 64)) == 114716); + assert(unsigned(zero_extend(0x1c020, 64)) == 114720); + assert(unsigned(zero_extend(0x1c024, 64)) == 114724); + assert(unsigned(zero_extend(0x1c028, 64)) == 114728); + assert(unsigned(zero_extend(0x1c02c, 64)) == 114732); + assert(unsigned(zero_extend(0x1c030, 64)) == 114736); + assert(unsigned(zero_extend(0x1c034, 64)) == 114740); + assert(unsigned(zero_extend(0x1c038, 64)) == 114744); + assert(unsigned(zero_extend(0x1c03c, 64)) == 114748); + assert(unsigned(zero_extend(0x1c040, 64)) == 114752); + assert(unsigned(zero_extend(0x1c044, 64)) == 114756); + assert(unsigned(zero_extend(0x1c048, 64)) == 114760); + assert(unsigned(zero_extend(0x1c04c, 64)) == 114764); + assert(unsigned(zero_extend(0x1c050, 64)) == 114768); + assert(unsigned(zero_extend(0x1c054, 64)) == 114772); + assert(unsigned(zero_extend(0x1c058, 64)) == 114776); + assert(unsigned(zero_extend(0x1c05c, 64)) == 114780); + assert(unsigned(zero_extend(0x1c060, 64)) == 114784); + assert(unsigned(zero_extend(0x1c064, 64)) == 114788); + assert(unsigned(zero_extend(0x1c068, 64)) == 114792); + assert(unsigned(zero_extend(0x1c06c, 64)) == 114796); + assert(unsigned(zero_extend(0x1c070, 64)) == 114800); + assert(unsigned(zero_extend(0x1c074, 64)) == 114804); + assert(unsigned(zero_extend(0x1c078, 64)) == 114808); + assert(unsigned(zero_extend(0x1c07c, 64)) == 114812); + assert(unsigned(zero_extend(0x1c080, 64)) == 114816); + assert(unsigned(zero_extend(0x1c084, 64)) == 114820); + assert(unsigned(zero_extend(0x1c088, 64)) == 114824); + assert(unsigned(zero_extend(0x1c08c, 64)) == 114828); + assert(unsigned(zero_extend(0x1c090, 64)) == 114832); + assert(unsigned(zero_extend(0x1c094, 64)) == 114836); + assert(unsigned(zero_extend(0x1c098, 64)) == 114840); + assert(unsigned(zero_extend(0x1c09c, 64)) == 114844); + assert(unsigned(zero_extend(0x1c0a0, 64)) == 114848); + assert(unsigned(zero_extend(0x1c0a4, 64)) == 114852); + assert(unsigned(zero_extend(0x1c0a8, 64)) == 114856); + assert(unsigned(zero_extend(0x1c0ac, 64)) == 114860); + assert(unsigned(zero_extend(0x1c0b0, 64)) == 114864); + assert(unsigned(zero_extend(0x1c0b4, 64)) == 114868); + assert(unsigned(zero_extend(0x1c0b8, 64)) == 114872); + assert(unsigned(zero_extend(0x1c0bc, 64)) == 114876); + assert(unsigned(zero_extend(0x1c0c0, 64)) == 114880); + assert(unsigned(zero_extend(0x1c0c4, 64)) == 114884); + assert(unsigned(zero_extend(0x1c0c8, 64)) == 114888); + assert(unsigned(zero_extend(0x1c0cc, 64)) == 114892); + assert(unsigned(zero_extend(0x1c0d0, 64)) == 114896); + assert(unsigned(zero_extend(0x1c0d4, 64)) == 114900); + assert(unsigned(zero_extend(0x1c0d8, 64)) == 114904); + assert(unsigned(zero_extend(0x1c0dc, 64)) == 114908); + assert(unsigned(zero_extend(0x1c0e0, 64)) == 114912); + assert(unsigned(zero_extend(0x1c0e4, 64)) == 114916); + assert(unsigned(zero_extend(0x1c0e8, 64)) == 114920); + assert(unsigned(zero_extend(0x1c0ec, 64)) == 114924); + assert(unsigned(zero_extend(0x1c0f0, 64)) == 114928); + assert(unsigned(zero_extend(0x1c0f4, 64)) == 114932); + assert(unsigned(zero_extend(0x1c0f8, 64)) == 114936); + assert(unsigned(zero_extend(0x1c0fc, 64)) == 114940); + assert(unsigned(zero_extend(0x1c100, 64)) == 114944); + assert(unsigned(zero_extend(0x1c104, 64)) == 114948); + assert(unsigned(zero_extend(0x1c108, 64)) == 114952); + assert(unsigned(zero_extend(0x1c10c, 64)) == 114956); + assert(unsigned(zero_extend(0x1c110, 64)) == 114960); + assert(unsigned(zero_extend(0x1c114, 64)) == 114964); + assert(unsigned(zero_extend(0x1c118, 64)) == 114968); + assert(unsigned(zero_extend(0x1c11c, 64)) == 114972); + assert(unsigned(zero_extend(0x1c120, 64)) == 114976); + assert(unsigned(zero_extend(0x1c124, 64)) == 114980); + assert(unsigned(zero_extend(0x1c128, 64)) == 114984); + assert(unsigned(zero_extend(0x1c12c, 64)) == 114988); + assert(unsigned(zero_extend(0x1c130, 64)) == 114992); + assert(unsigned(zero_extend(0x1c134, 64)) == 114996); + assert(unsigned(zero_extend(0x1c138, 64)) == 115000); + assert(unsigned(zero_extend(0x1c13c, 64)) == 115004); + assert(unsigned(zero_extend(0x1c140, 64)) == 115008); + assert(unsigned(zero_extend(0x1c144, 64)) == 115012); + assert(unsigned(zero_extend(0x1c148, 64)) == 115016); + assert(unsigned(zero_extend(0x1c14c, 64)) == 115020); + assert(unsigned(zero_extend(0x1c150, 64)) == 115024); + assert(unsigned(zero_extend(0x1c154, 64)) == 115028); + assert(unsigned(zero_extend(0x1c158, 64)) == 115032); + assert(unsigned(zero_extend(0x1c168, 64)) == 115048); + assert(unsigned(zero_extend(0x1c16c, 64)) == 115052); + assert(unsigned(zero_extend(0x1c17c, 64)) == 115068); + assert(unsigned(zero_extend(0x1c180, 64)) == 115072); + assert(unsigned(zero_extend(0x1c184, 64)) == 115076); + assert(unsigned(zero_extend(0x1c188, 64)) == 115080); + assert(unsigned(zero_extend(0x1c18c, 64)) == 115084); + assert(unsigned(zero_extend(0x1c190, 64)) == 115088); + assert(unsigned(zero_extend(0x1c1a0, 64)) == 115104); + assert(unsigned(zero_extend(0x1c1a4, 64)) == 115108); + assert(unsigned(zero_extend(0x1c1a8, 64)) == 115112); + assert(unsigned(zero_extend(0x1c1e8, 64)) == 115176); + assert(unsigned(zero_extend(0x1c1ec, 64)) == 115180); + assert(unsigned(zero_extend(0x1c1f0, 64)) == 115184); + assert(unsigned(zero_extend(0x1c1f4, 64)) == 115188); + assert(unsigned(zero_extend(0x1c1f8, 64)) == 115192); + assert(unsigned(zero_extend(0x1c1fc, 64)) == 115196); + assert(unsigned(zero_extend(0x1c200, 64)) == 115200); + assert(unsigned(zero_extend(0x1c204, 64)) == 115204); + assert(unsigned(zero_extend(0x1c208, 64)) == 115208); + assert(unsigned(zero_extend(0x1c20c, 64)) == 115212); + assert(unsigned(zero_extend(0x1c240, 64)) == 115264); + assert(unsigned(zero_extend(0x1c244, 64)) == 115268); + assert(unsigned(zero_extend(0x1c248, 64)) == 115272); + assert(unsigned(zero_extend(0x1c24c, 64)) == 115276); + assert(unsigned(zero_extend(0x1c250, 64)) == 115280); + assert(unsigned(zero_extend(0x1c254, 64)) == 115284); + assert(unsigned(zero_extend(0x1c258, 64)) == 115288); + assert(unsigned(zero_extend(0x1c25c, 64)) == 115292); + assert(unsigned(zero_extend(0x1c260, 64)) == 115296); + assert(unsigned(zero_extend(0x1c264, 64)) == 115300); + assert(unsigned(zero_extend(0x1c3ec, 64)) == 115692); + assert(unsigned(zero_extend(0x1c3f0, 64)) == 115696); + assert(unsigned(zero_extend(0x1c3f4, 64)) == 115700); + assert(unsigned(zero_extend(0x1c3f8, 64)) == 115704); + assert(unsigned(zero_extend(0x1c3fc, 64)) == 115708); + assert(unsigned(zero_extend(0x1c400, 64)) == 115712); + assert(unsigned(zero_extend(0x1c404, 64)) == 115716); + assert(unsigned(zero_extend(0x1c408, 64)) == 115720); + assert(unsigned(zero_extend(0x1c40c, 64)) == 115724); + assert(unsigned(zero_extend(0x1c410, 64)) == 115728); + assert(unsigned(zero_extend(0x1c414, 64)) == 115732); + assert(unsigned(zero_extend(0x1c418, 64)) == 115736); + assert(unsigned(zero_extend(0x1c41c, 64)) == 115740); + assert(unsigned(zero_extend(0x1c420, 64)) == 115744); + assert(unsigned(zero_extend(0x1c424, 64)) == 115748); + assert(unsigned(zero_extend(0x1c428, 64)) == 115752); + assert(unsigned(zero_extend(0x1c42c, 64)) == 115756); + assert(unsigned(zero_extend(0x1c430, 64)) == 115760); + assert(unsigned(zero_extend(0x1c434, 64)) == 115764); + assert(unsigned(zero_extend(0x1c438, 64)) == 115768); + assert(unsigned(zero_extend(0x1c43c, 64)) == 115772); + assert(unsigned(zero_extend(0x1c440, 64)) == 115776); + assert(unsigned(zero_extend(0x1c444, 64)) == 115780); + assert(unsigned(zero_extend(0x1c448, 64)) == 115784); + assert(unsigned(zero_extend(0x1c44c, 64)) == 115788); + assert(unsigned(zero_extend(0x1c450, 64)) == 115792); + assert(unsigned(zero_extend(0x1c454, 64)) == 115796); + assert(unsigned(zero_extend(0x1c458, 64)) == 115800); + assert(unsigned(zero_extend(0x1c45c, 64)) == 115804); + assert(unsigned(zero_extend(0x1c460, 64)) == 115808); + assert(unsigned(zero_extend(0x1c464, 64)) == 115812); + assert(unsigned(zero_extend(0x1c468, 64)) == 115816); + assert(unsigned(zero_extend(0x1c46c, 64)) == 115820); + assert(unsigned(zero_extend(0x1c470, 64)) == 115824); + assert(unsigned(zero_extend(0x1c474, 64)) == 115828); + assert(unsigned(zero_extend(0x1c478, 64)) == 115832); + assert(unsigned(zero_extend(0x1c47c, 64)) == 115836); + assert(unsigned(zero_extend(0x1c480, 64)) == 115840); + assert(unsigned(zero_extend(0x1c484, 64)) == 115844); + assert(unsigned(zero_extend(0x1c488, 64)) == 115848); + assert(unsigned(zero_extend(0x1c48c, 64)) == 115852); + assert(unsigned(zero_extend(0x1c490, 64)) == 115856); + assert(unsigned(zero_extend(0x1c494, 64)) == 115860); + assert(unsigned(zero_extend(0x1c498, 64)) == 115864); + assert(unsigned(zero_extend(0x1c49c, 64)) == 115868); + assert(unsigned(zero_extend(0x1c4a0, 64)) == 115872); + assert(unsigned(zero_extend(0x1c4a4, 64)) == 115876); + assert(unsigned(zero_extend(0x1c4a8, 64)) == 115880); + assert(unsigned(zero_extend(0x1c4ac, 64)) == 115884); + assert(unsigned(zero_extend(0x1c4b0, 64)) == 115888); + assert(unsigned(zero_extend(0x1c4b4, 64)) == 115892); + assert(unsigned(zero_extend(0x1c4b8, 64)) == 115896); + assert(unsigned(zero_extend(0x1c4c8, 64)) == 115912); + assert(unsigned(zero_extend(0x1c4cc, 64)) == 115916); + assert(unsigned(zero_extend(0x1c4d0, 64)) == 115920); + assert(unsigned(zero_extend(0x1c4d4, 64)) == 115924); + assert(unsigned(zero_extend(0x1c4d8, 64)) == 115928); + assert(unsigned(zero_extend(0x1c4dc, 64)) == 115932); + assert(unsigned(zero_extend(0x1c4e0, 64)) == 115936); + assert(unsigned(zero_extend(0x1c4e4, 64)) == 115940); + assert(unsigned(zero_extend(0x1c4e8, 64)) == 115944); + assert(unsigned(zero_extend(0x1c4ec, 64)) == 115948); + assert(unsigned(zero_extend(0x1c4f0, 64)) == 115952); + assert(unsigned(zero_extend(0x1c4f4, 64)) == 115956); + assert(unsigned(zero_extend(0x1c4f8, 64)) == 115960); + assert(unsigned(zero_extend(0x1c4fc, 64)) == 115964); + assert(unsigned(zero_extend(0x1c500, 64)) == 115968); + assert(unsigned(zero_extend(0x1c504, 64)) == 115972); + assert(unsigned(zero_extend(0x1c508, 64)) == 115976); + assert(unsigned(zero_extend(0x1c50c, 64)) == 115980); + assert(unsigned(zero_extend(0x1c510, 64)) == 115984); + assert(unsigned(zero_extend(0x1c514, 64)) == 115988); + assert(unsigned(zero_extend(0x1c518, 64)) == 115992); + assert(unsigned(zero_extend(0x1c51c, 64)) == 115996); + assert(unsigned(zero_extend(0x1c520, 64)) == 116000); + assert(unsigned(zero_extend(0x1c524, 64)) == 116004); + assert(unsigned(zero_extend(0x1c528, 64)) == 116008); + assert(unsigned(zero_extend(0x1c52c, 64)) == 116012); + assert(unsigned(zero_extend(0x1c530, 64)) == 116016); + assert(unsigned(zero_extend(0x1c534, 64)) == 116020); + assert(unsigned(zero_extend(0x1c538, 64)) == 116024); + assert(unsigned(zero_extend(0x1c53c, 64)) == 116028); + assert(unsigned(zero_extend(0x1c540, 64)) == 116032); + assert(unsigned(zero_extend(0x1c544, 64)) == 116036); + assert(unsigned(zero_extend(0x1c548, 64)) == 116040); + assert(unsigned(zero_extend(0x1c54c, 64)) == 116044); + assert(unsigned(zero_extend(0x1c550, 64)) == 116048); + assert(unsigned(zero_extend(0x1c554, 64)) == 116052); + assert(unsigned(zero_extend(0x1c558, 64)) == 116056); + assert(unsigned(zero_extend(0x1c55c, 64)) == 116060); + assert(unsigned(zero_extend(0x1c560, 64)) == 116064); + assert(unsigned(zero_extend(0x1c564, 64)) == 116068); + assert(unsigned(zero_extend(0x1c568, 64)) == 116072); + assert(unsigned(zero_extend(0x1c56c, 64)) == 116076); + assert(unsigned(zero_extend(0x1c570, 64)) == 116080); + assert(unsigned(zero_extend(0x1c574, 64)) == 116084); + assert(unsigned(zero_extend(0x1c578, 64)) == 116088); + assert(unsigned(zero_extend(0x1c57c, 64)) == 116092); + assert(unsigned(zero_extend(0x1c580, 64)) == 116096); + assert(unsigned(zero_extend(0x1c584, 64)) == 116100); + assert(unsigned(zero_extend(0x1c588, 64)) == 116104); + assert(unsigned(zero_extend(0x1c58c, 64)) == 116108); + assert(unsigned(zero_extend(0x1c590, 64)) == 116112); + assert(unsigned(zero_extend(0x1c594, 64)) == 116116); + assert(unsigned(zero_extend(0x1c598, 64)) == 116120); + assert(unsigned(zero_extend(0x1c5a0, 64)) == 116128); + assert(unsigned(zero_extend(0x1c5a8, 64)) == 116136); + assert(unsigned(zero_extend(0x1c5b0, 64)) == 116144); + assert(unsigned(zero_extend(0x1c5b8, 64)) == 116152); + assert(unsigned(zero_extend(0x1c5c0, 64)) == 116160); + assert(unsigned(zero_extend(0x1c5c8, 64)) == 116168); + assert(unsigned(zero_extend(0x1c5d0, 64)) == 116176); + assert(unsigned(zero_extend(0x1c5d8, 64)) == 116184); + assert(unsigned(zero_extend(0x1c5e0, 64)) == 116192); + assert(unsigned(zero_extend(0x1c5e4, 64)) == 116196); + assert(unsigned(zero_extend(0x1c5e8, 64)) == 116200); + assert(unsigned(zero_extend(0x1c5ec, 64)) == 116204); + assert(unsigned(zero_extend(0x1c5f0, 64)) == 116208); + assert(unsigned(zero_extend(0x1c5f4, 64)) == 116212); + assert(unsigned(zero_extend(0x1c5f8, 64)) == 116216); + assert(unsigned(zero_extend(0x1c5fc, 64)) == 116220); + assert(unsigned(zero_extend(0x1c600, 64)) == 116224); + assert(unsigned(zero_extend(0x1c604, 64)) == 116228); + assert(unsigned(zero_extend(0x1c608, 64)) == 116232); + assert(unsigned(zero_extend(0x1c60c, 64)) == 116236); + assert(unsigned(zero_extend(0x1c610, 64)) == 116240); + assert(unsigned(zero_extend(0x1c614, 64)) == 116244); + assert(unsigned(zero_extend(0x1c618, 64)) == 116248); + assert(unsigned(zero_extend(0x1c61c, 64)) == 116252); + assert(unsigned(zero_extend(0x1c620, 64)) == 116256); + assert(unsigned(zero_extend(0x1c624, 64)) == 116260); + assert(unsigned(zero_extend(0x1c628, 64)) == 116264); + assert(unsigned(zero_extend(0x1c62c, 64)) == 116268); + assert(unsigned(zero_extend(0x1c630, 64)) == 116272); + assert(unsigned(zero_extend(0x1c634, 64)) == 116276); + assert(unsigned(zero_extend(0x1c638, 64)) == 116280); + assert(unsigned(zero_extend(0x1c63c, 64)) == 116284); + assert(unsigned(zero_extend(0x1c640, 64)) == 116288); + assert(unsigned(zero_extend(0x1c644, 64)) == 116292); + assert(unsigned(zero_extend(0x1c648, 64)) == 116296); + assert(unsigned(zero_extend(0x1c64c, 64)) == 116300); + assert(unsigned(zero_extend(0x1c650, 64)) == 116304); + assert(unsigned(zero_extend(0x1c654, 64)) == 116308); + assert(unsigned(zero_extend(0x1c658, 64)) == 116312); + assert(unsigned(zero_extend(0x1c65c, 64)) == 116316); + assert(unsigned(zero_extend(0x1c660, 64)) == 116320); + assert(unsigned(zero_extend(0x1c664, 64)) == 116324); + assert(unsigned(zero_extend(0x1c668, 64)) == 116328); + assert(unsigned(zero_extend(0x1c66c, 64)) == 116332); + assert(unsigned(zero_extend(0x1c670, 64)) == 116336); + assert(unsigned(zero_extend(0x1c674, 64)) == 116340); + assert(unsigned(zero_extend(0x1c678, 64)) == 116344); + assert(unsigned(zero_extend(0x1c67c, 64)) == 116348); + assert(unsigned(zero_extend(0x1c680, 64)) == 116352); + assert(unsigned(zero_extend(0x1c684, 64)) == 116356); + assert(unsigned(zero_extend(0x1c688, 64)) == 116360); + assert(unsigned(zero_extend(0x1c68c, 64)) == 116364); + assert(unsigned(zero_extend(0x1c690, 64)) == 116368); + assert(unsigned(zero_extend(0x1c694, 64)) == 116372); + assert(unsigned(zero_extend(0x1c698, 64)) == 116376); + assert(unsigned(zero_extend(0x1c69c, 64)) == 116380); + assert(unsigned(zero_extend(0x1c6a0, 64)) == 116384); + assert(unsigned(zero_extend(0x1c6a4, 64)) == 116388); + assert(unsigned(zero_extend(0x1c6a8, 64)) == 116392); + assert(unsigned(zero_extend(0x1c6ac, 64)) == 116396); + assert(unsigned(zero_extend(0x1c6b0, 64)) == 116400); + assert(unsigned(zero_extend(0x1c6b4, 64)) == 116404); + assert(unsigned(zero_extend(0x1c6b8, 64)) == 116408); + assert(unsigned(zero_extend(0x1c6bc, 64)) == 116412); + assert(unsigned(zero_extend(0x1c6c0, 64)) == 116416); + assert(unsigned(zero_extend(0x1c6c4, 64)) == 116420); + assert(unsigned(zero_extend(0x1c6c8, 64)) == 116424); + assert(unsigned(zero_extend(0x1c6cc, 64)) == 116428); + assert(unsigned(zero_extend(0x1c6d0, 64)) == 116432); + assert(unsigned(zero_extend(0x1c6d4, 64)) == 116436); + assert(unsigned(zero_extend(0x1c6d8, 64)) == 116440); + assert(unsigned(zero_extend(0x1c6dc, 64)) == 116444); + assert(unsigned(zero_extend(0x1c6e0, 64)) == 116448); + assert(unsigned(zero_extend(0x1c6e4, 64)) == 116452); + assert(unsigned(zero_extend(0x1c6f4, 64)) == 116468); + assert(unsigned(zero_extend(0x1c6f8, 64)) == 116472); + assert(unsigned(zero_extend(0x1c6fc, 64)) == 116476); + assert(unsigned(zero_extend(0x1c700, 64)) == 116480); + assert(unsigned(zero_extend(0x1c704, 64)) == 116484); + assert(unsigned(zero_extend(0x1c708, 64)) == 116488); + assert(unsigned(zero_extend(0x1c70c, 64)) == 116492); + assert(unsigned(zero_extend(0x1c710, 64)) == 116496); + assert(unsigned(zero_extend(0x1c714, 64)) == 116500); + assert(unsigned(zero_extend(0x1c718, 64)) == 116504); + assert(unsigned(zero_extend(0x1c71c, 64)) == 116508); + assert(unsigned(zero_extend(0x1c720, 64)) == 116512); + assert(unsigned(zero_extend(0x1c724, 64)) == 116516); + assert(unsigned(zero_extend(0x1c728, 64)) == 116520); + assert(unsigned(zero_extend(0x1c72c, 64)) == 116524); + assert(unsigned(zero_extend(0x1c730, 64)) == 116528); + assert(unsigned(zero_extend(0x1c734, 64)) == 116532); + assert(unsigned(zero_extend(0x1c738, 64)) == 116536); + assert(unsigned(zero_extend(0x1c73c, 64)) == 116540); + assert(unsigned(zero_extend(0x1c740, 64)) == 116544); + assert(unsigned(zero_extend(0x1c744, 64)) == 116548); + assert(unsigned(zero_extend(0x1c748, 64)) == 116552); + assert(unsigned(zero_extend(0x1c74c, 64)) == 116556); + assert(unsigned(zero_extend(0x1c750, 64)) == 116560); + assert(unsigned(zero_extend(0x1c754, 64)) == 116564); + assert(unsigned(zero_extend(0x1c758, 64)) == 116568); + assert(unsigned(zero_extend(0x1c75c, 64)) == 116572); + assert(unsigned(zero_extend(0x1c760, 64)) == 116576); + assert(unsigned(zero_extend(0x1c764, 64)) == 116580); + assert(unsigned(zero_extend(0x1c768, 64)) == 116584); + assert(unsigned(zero_extend(0x1c76c, 64)) == 116588); + assert(unsigned(zero_extend(0x1c770, 64)) == 116592); + assert(unsigned(zero_extend(0x1c774, 64)) == 116596); + assert(unsigned(zero_extend(0x1c778, 64)) == 116600); + assert(unsigned(zero_extend(0x1c77c, 64)) == 116604); + assert(unsigned(zero_extend(0x1c780, 64)) == 116608); + assert(unsigned(zero_extend(0x1c784, 64)) == 116612); + assert(unsigned(zero_extend(0x1c788, 64)) == 116616); + assert(unsigned(zero_extend(0x1c78c, 64)) == 116620); + assert(unsigned(zero_extend(0x1c790, 64)) == 116624); + assert(unsigned(zero_extend(0x1c794, 64)) == 116628); + assert(unsigned(zero_extend(0x1c798, 64)) == 116632); + assert(unsigned(zero_extend(0x1c79c, 64)) == 116636); + assert(unsigned(zero_extend(0x1c7a0, 64)) == 116640); + assert(unsigned(zero_extend(0x1c7a4, 64)) == 116644); + assert(unsigned(zero_extend(0x1c7a8, 64)) == 116648); + assert(unsigned(zero_extend(0x1c7ac, 64)) == 116652); + assert(unsigned(zero_extend(0x1c7b0, 64)) == 116656); + assert(unsigned(zero_extend(0x1c7b4, 64)) == 116660); + assert(unsigned(zero_extend(0x1c7b8, 64)) == 116664); + assert(unsigned(zero_extend(0x1c7bc, 64)) == 116668); + assert(unsigned(zero_extend(0x1c7c0, 64)) == 116672); + assert(unsigned(zero_extend(0x1c7c4, 64)) == 116676); + assert(unsigned(zero_extend(0x1c7c8, 64)) == 116680); + assert(unsigned(zero_extend(0x1c7cc, 64)) == 116684); + assert(unsigned(zero_extend(0x1c7d0, 64)) == 116688); + assert(unsigned(zero_extend(0x1c7d4, 64)) == 116692); + assert(unsigned(zero_extend(0x1c7d8, 64)) == 116696); + assert(unsigned(zero_extend(0x1c7dc, 64)) == 116700); + assert(unsigned(zero_extend(0x1c7e0, 64)) == 116704); + assert(unsigned(zero_extend(0x1c7e4, 64)) == 116708); + assert(unsigned(zero_extend(0x1c7e8, 64)) == 116712); + assert(unsigned(zero_extend(0x1c7f8, 64)) == 116728); + assert(unsigned(zero_extend(0x1c7fc, 64)) == 116732); + assert(unsigned(zero_extend(0x1c800, 64)) == 116736); + assert(unsigned(zero_extend(0x1c804, 64)) == 116740); + assert(unsigned(zero_extend(0x1c808, 64)) == 116744); + assert(unsigned(zero_extend(0x1c80c, 64)) == 116748); + assert(unsigned(zero_extend(0x1c810, 64)) == 116752); + assert(unsigned(zero_extend(0x1c814, 64)) == 116756); + assert(unsigned(zero_extend(0x1c818, 64)) == 116760); + assert(unsigned(zero_extend(0x1c81c, 64)) == 116764); + assert(unsigned(zero_extend(0x1c820, 64)) == 116768); + assert(unsigned(zero_extend(0x1c824, 64)) == 116772); + assert(unsigned(zero_extend(0x1c828, 64)) == 116776); + assert(unsigned(zero_extend(0x1c838, 64)) == 116792); + assert(unsigned(zero_extend(0x1c83c, 64)) == 116796); + assert(unsigned(zero_extend(0x1c860, 64)) == 116832); + assert(unsigned(zero_extend(0x1c864, 64)) == 116836); + assert(unsigned(zero_extend(0x1c874, 64)) == 116852); + assert(unsigned(zero_extend(0x1c878, 64)) == 116856); + assert(unsigned(zero_extend(0x1c87c, 64)) == 116860); + assert(unsigned(zero_extend(0x1c880, 64)) == 116864); + assert(unsigned(zero_extend(0x1c890, 64)) == 116880); + assert(unsigned(zero_extend(0x1c894, 64)) == 116884); + assert(unsigned(zero_extend(0x1c8b0, 64)) == 116912); + assert(unsigned(zero_extend(0x1c8b4, 64)) == 116916); + assert(unsigned(zero_extend(0x1c8b8, 64)) == 116920); + assert(unsigned(zero_extend(0x1c8bc, 64)) == 116924); + assert(unsigned(zero_extend(0x1c8c0, 64)) == 116928); + assert(unsigned(zero_extend(0x1c8c4, 64)) == 116932); + assert(unsigned(zero_extend(0x1c8c8, 64)) == 116936); + assert(unsigned(zero_extend(0x1c8cc, 64)) == 116940); + assert(unsigned(zero_extend(0x1c8d0, 64)) == 116944); + assert(unsigned(zero_extend(0x1c8d4, 64)) == 116948); + assert(unsigned(zero_extend(0x1c8d8, 64)) == 116952); + assert(unsigned(zero_extend(0x1c8dc, 64)) == 116956); + assert(unsigned(zero_extend(0x1c8e0, 64)) == 116960); + assert(unsigned(zero_extend(0x1c8e4, 64)) == 116964); + assert(unsigned(zero_extend(0x1c8e8, 64)) == 116968); + assert(unsigned(zero_extend(0x1c8ec, 64)) == 116972); + assert(unsigned(zero_extend(0x1c8f0, 64)) == 116976); + assert(unsigned(zero_extend(0x1c8f4, 64)) == 116980); + assert(unsigned(zero_extend(0x1c8f8, 64)) == 116984); + assert(unsigned(zero_extend(0x1c8fc, 64)) == 116988); + assert(unsigned(zero_extend(0x1c900, 64)) == 116992); + assert(unsigned(zero_extend(0x1c904, 64)) == 116996); + assert(unsigned(zero_extend(0x1c908, 64)) == 117000); + assert(unsigned(zero_extend(0x1c90c, 64)) == 117004); + assert(unsigned(zero_extend(0x1c910, 64)) == 117008); + assert(unsigned(zero_extend(0x1c914, 64)) == 117012); + assert(unsigned(zero_extend(0x1c918, 64)) == 117016); + assert(unsigned(zero_extend(0x1c91c, 64)) == 117020); + assert(unsigned(zero_extend(0x1c920, 64)) == 117024); + assert(unsigned(zero_extend(0x1c924, 64)) == 117028); + assert(unsigned(zero_extend(0x1c928, 64)) == 117032); + assert(unsigned(zero_extend(0x1c92c, 64)) == 117036); + assert(unsigned(zero_extend(0x1c930, 64)) == 117040); + assert(unsigned(zero_extend(0x1c934, 64)) == 117044); + assert(unsigned(zero_extend(0x1c938, 64)) == 117048); + assert(unsigned(zero_extend(0x1c93c, 64)) == 117052); + assert(unsigned(zero_extend(0x1c940, 64)) == 117056); + assert(unsigned(zero_extend(0x1c944, 64)) == 117060); + assert(unsigned(zero_extend(0x1c948, 64)) == 117064); + assert(unsigned(zero_extend(0x1c94c, 64)) == 117068); + assert(unsigned(zero_extend(0x1c950, 64)) == 117072); + assert(unsigned(zero_extend(0x1c954, 64)) == 117076); + assert(unsigned(zero_extend(0x1c958, 64)) == 117080); + assert(unsigned(zero_extend(0x1c95c, 64)) == 117084); + assert(unsigned(zero_extend(0x1c960, 64)) == 117088); + assert(unsigned(zero_extend(0x1c964, 64)) == 117092); + assert(unsigned(zero_extend(0x1c968, 64)) == 117096); + assert(unsigned(zero_extend(0x1c96c, 64)) == 117100); + assert(unsigned(zero_extend(0x1c970, 64)) == 117104); + assert(unsigned(zero_extend(0x1c974, 64)) == 117108); + assert(unsigned(zero_extend(0x1c978, 64)) == 117112); + assert(unsigned(zero_extend(0x1c97c, 64)) == 117116); + assert(unsigned(zero_extend(0x1c980, 64)) == 117120); + assert(unsigned(zero_extend(0x1c984, 64)) == 117124); + assert(unsigned(zero_extend(0x1c988, 64)) == 117128); + assert(unsigned(zero_extend(0x1c98c, 64)) == 117132); + assert(unsigned(zero_extend(0x1c990, 64)) == 117136); + assert(unsigned(zero_extend(0x1c994, 64)) == 117140); + assert(unsigned(zero_extend(0x1c998, 64)) == 117144); + assert(unsigned(zero_extend(0x1c99c, 64)) == 117148); + assert(unsigned(zero_extend(0x1c9a0, 64)) == 117152); + assert(unsigned(zero_extend(0x1c9a4, 64)) == 117156); + assert(unsigned(zero_extend(0x1c9a8, 64)) == 117160); + assert(unsigned(zero_extend(0x1c9ac, 64)) == 117164); + assert(unsigned(zero_extend(0x1c9b0, 64)) == 117168); + assert(unsigned(zero_extend(0x1c9b4, 64)) == 117172); + assert(unsigned(zero_extend(0x1c9b8, 64)) == 117176); + assert(unsigned(zero_extend(0x1c9bc, 64)) == 117180); + assert(unsigned(zero_extend(0x1c9c0, 64)) == 117184); + assert(unsigned(zero_extend(0x1c9c8, 64)) == 117192); + assert(unsigned(zero_extend(0x1c9cc, 64)) == 117196); + assert(unsigned(zero_extend(0x1c9d0, 64)) == 117200); + assert(unsigned(zero_extend(0x1c9d4, 64)) == 117204); + assert(unsigned(zero_extend(0x1c9d8, 64)) == 117208); + assert(unsigned(zero_extend(0x1c9dc, 64)) == 117212); + assert(unsigned(zero_extend(0x1c9e0, 64)) == 117216); + assert(unsigned(zero_extend(0x1c9e4, 64)) == 117220); + assert(unsigned(zero_extend(0x1c9e8, 64)) == 117224); + assert(unsigned(zero_extend(0x1c9ec, 64)) == 117228); + assert(unsigned(zero_extend(0x1c9f0, 64)) == 117232); + assert(unsigned(zero_extend(0x1c9f4, 64)) == 117236); + assert(unsigned(zero_extend(0x1c9f8, 64)) == 117240); + assert(unsigned(zero_extend(0x1c9fc, 64)) == 117244); + assert(unsigned(zero_extend(0x1ca00, 64)) == 117248); + assert(unsigned(zero_extend(0x1ca04, 64)) == 117252); + assert(unsigned(zero_extend(0x1ca08, 64)) == 117256); + assert(unsigned(zero_extend(0x1ca0c, 64)) == 117260); + assert(unsigned(zero_extend(0x1ca10, 64)) == 117264); + assert(unsigned(zero_extend(0x1ca14, 64)) == 117268); + assert(unsigned(zero_extend(0x1ca18, 64)) == 117272); + assert(unsigned(zero_extend(0x1ca1c, 64)) == 117276); + assert(unsigned(zero_extend(0x1ca20, 64)) == 117280); + assert(unsigned(zero_extend(0x1ca24, 64)) == 117284); + assert(unsigned(zero_extend(0x1ca28, 64)) == 117288); + assert(unsigned(zero_extend(0x1ca2c, 64)) == 117292); + assert(unsigned(zero_extend(0x1ca30, 64)) == 117296); + assert(unsigned(zero_extend(0x1ca34, 64)) == 117300); + assert(unsigned(zero_extend(0x1ca38, 64)) == 117304); + assert(unsigned(zero_extend(0x1ca3c, 64)) == 117308); + assert(unsigned(zero_extend(0x1ca40, 64)) == 117312); + assert(unsigned(zero_extend(0x1ca44, 64)) == 117316); + assert(unsigned(zero_extend(0x1ca48, 64)) == 117320); + assert(unsigned(zero_extend(0x1ca4c, 64)) == 117324); + assert(unsigned(zero_extend(0x1ca50, 64)) == 117328); + assert(unsigned(zero_extend(0x1ca54, 64)) == 117332); + assert(unsigned(zero_extend(0x1ca58, 64)) == 117336); + assert(unsigned(zero_extend(0x1ca5c, 64)) == 117340); + assert(unsigned(zero_extend(0x1ca60, 64)) == 117344); + assert(unsigned(zero_extend(0x1ca64, 64)) == 117348); + assert(unsigned(zero_extend(0x1ca68, 64)) == 117352); + assert(unsigned(zero_extend(0x1ca6c, 64)) == 117356); + assert(unsigned(zero_extend(0x1ca70, 64)) == 117360); + assert(unsigned(zero_extend(0x1ca74, 64)) == 117364); + assert(unsigned(zero_extend(0x1ca78, 64)) == 117368); + assert(unsigned(zero_extend(0x1ca7c, 64)) == 117372); + assert(unsigned(zero_extend(0x1ca80, 64)) == 117376); + assert(unsigned(zero_extend(0x1ca84, 64)) == 117380); + assert(unsigned(zero_extend(0x1ca88, 64)) == 117384); + assert(unsigned(zero_extend(0x1ca8c, 64)) == 117388); + assert(unsigned(zero_extend(0x1ca90, 64)) == 117392); + assert(unsigned(zero_extend(0x1ca94, 64)) == 117396); + assert(unsigned(zero_extend(0x1ca98, 64)) == 117400); + assert(unsigned(zero_extend(0x1ca9c, 64)) == 117404); + assert(unsigned(zero_extend(0x1caa0, 64)) == 117408); + assert(unsigned(zero_extend(0x1caa4, 64)) == 117412); + assert(unsigned(zero_extend(0x1caa8, 64)) == 117416); + assert(unsigned(zero_extend(0x1caac, 64)) == 117420); + assert(unsigned(zero_extend(0x1cab0, 64)) == 117424); + assert(unsigned(zero_extend(0x1cab4, 64)) == 117428); + assert(unsigned(zero_extend(0x1cab8, 64)) == 117432); + assert(unsigned(zero_extend(0x1cabc, 64)) == 117436); + assert(unsigned(zero_extend(0x1cac0, 64)) == 117440); + assert(unsigned(zero_extend(0x1cac4, 64)) == 117444); + assert(unsigned(zero_extend(0x1cac8, 64)) == 117448); + assert(unsigned(zero_extend(0x1cacc, 64)) == 117452); + assert(unsigned(zero_extend(0x1cad0, 64)) == 117456); + assert(unsigned(zero_extend(0x1cad4, 64)) == 117460); + assert(unsigned(zero_extend(0x1cad8, 64)) == 117464); + assert(unsigned(zero_extend(0x1cadc, 64)) == 117468); + assert(unsigned(zero_extend(0x1cae0, 64)) == 117472); + assert(unsigned(zero_extend(0x1cae4, 64)) == 117476); + assert(unsigned(zero_extend(0x1cae8, 64)) == 117480); + assert(unsigned(zero_extend(0x1caec, 64)) == 117484); + assert(unsigned(zero_extend(0x1caf0, 64)) == 117488); + assert(unsigned(zero_extend(0x1caf4, 64)) == 117492); + assert(unsigned(zero_extend(0x1caf8, 64)) == 117496); + assert(unsigned(zero_extend(0x1cafc, 64)) == 117500); + assert(unsigned(zero_extend(0x1cb00, 64)) == 117504); + assert(unsigned(zero_extend(0x1cb04, 64)) == 117508); + assert(unsigned(zero_extend(0x1cb08, 64)) == 117512); + assert(unsigned(zero_extend(0x1cb0c, 64)) == 117516); + assert(unsigned(zero_extend(0x1cb10, 64)) == 117520); + assert(unsigned(zero_extend(0x1cb14, 64)) == 117524); + assert(unsigned(zero_extend(0x1cb18, 64)) == 117528); + assert(unsigned(zero_extend(0x1cb20, 64)) == 117536); + assert(unsigned(zero_extend(0x1cb24, 64)) == 117540); + assert(unsigned(zero_extend(0x1cb28, 64)) == 117544); + assert(unsigned(zero_extend(0x1cb2c, 64)) == 117548); + assert(unsigned(zero_extend(0x1cb30, 64)) == 117552); + assert(unsigned(zero_extend(0x1cb34, 64)) == 117556); + assert(unsigned(zero_extend(0x1cb38, 64)) == 117560); + assert(unsigned(zero_extend(0x1cb3c, 64)) == 117564); + assert(unsigned(zero_extend(0x1cb40, 64)) == 117568); + assert(unsigned(zero_extend(0x1cb44, 64)) == 117572); + assert(unsigned(zero_extend(0x1cb48, 64)) == 117576); + assert(unsigned(zero_extend(0x1cb4c, 64)) == 117580); + assert(unsigned(zero_extend(0x1cb50, 64)) == 117584); + assert(unsigned(zero_extend(0x1cb54, 64)) == 117588); + assert(unsigned(zero_extend(0x1cb58, 64)) == 117592); + assert(unsigned(zero_extend(0x1cb5c, 64)) == 117596); + assert(unsigned(zero_extend(0x1cb60, 64)) == 117600); + assert(unsigned(zero_extend(0x1cb64, 64)) == 117604); + assert(unsigned(zero_extend(0x1cb68, 64)) == 117608); + assert(unsigned(zero_extend(0x1cb6c, 64)) == 117612); + assert(unsigned(zero_extend(0x1cb70, 64)) == 117616); + assert(unsigned(zero_extend(0x1cb74, 64)) == 117620); + assert(unsigned(zero_extend(0x1cb78, 64)) == 117624); + assert(unsigned(zero_extend(0x1cb7c, 64)) == 117628); + assert(unsigned(zero_extend(0x1cb80, 64)) == 117632); + assert(unsigned(zero_extend(0x1cb84, 64)) == 117636); + assert(unsigned(zero_extend(0x1cb88, 64)) == 117640); + assert(unsigned(zero_extend(0x1cb8c, 64)) == 117644); + assert(unsigned(zero_extend(0x1cb90, 64)) == 117648); + assert(unsigned(zero_extend(0x1cb94, 64)) == 117652); + assert(unsigned(zero_extend(0x1cb98, 64)) == 117656); + assert(unsigned(zero_extend(0x1cb9c, 64)) == 117660); + assert(unsigned(zero_extend(0x1cba0, 64)) == 117664); + assert(unsigned(zero_extend(0x1cba4, 64)) == 117668); + assert(unsigned(zero_extend(0x1cba8, 64)) == 117672); + assert(unsigned(zero_extend(0x1cbac, 64)) == 117676); + assert(unsigned(zero_extend(0x1cbb0, 64)) == 117680); + assert(unsigned(zero_extend(0x1cbb4, 64)) == 117684); + assert(unsigned(zero_extend(0x1cbb8, 64)) == 117688); + assert(unsigned(zero_extend(0x1cbbc, 64)) == 117692); + assert(unsigned(zero_extend(0x1cbc0, 64)) == 117696); + assert(unsigned(zero_extend(0x1cbc4, 64)) == 117700); + assert(unsigned(zero_extend(0x1cbc8, 64)) == 117704); + assert(unsigned(zero_extend(0x1cbcc, 64)) == 117708); + assert(unsigned(zero_extend(0x1cbd0, 64)) == 117712); + assert(unsigned(zero_extend(0x1cbd4, 64)) == 117716); + assert(unsigned(zero_extend(0x1cbd8, 64)) == 117720); + assert(unsigned(zero_extend(0x1cbdc, 64)) == 117724); + assert(unsigned(zero_extend(0x1cbe0, 64)) == 117728); + assert(unsigned(zero_extend(0x1cbe4, 64)) == 117732); + assert(unsigned(zero_extend(0x1cbe8, 64)) == 117736); + assert(unsigned(zero_extend(0x1cbec, 64)) == 117740); + assert(unsigned(zero_extend(0x1cbf0, 64)) == 117744); + assert(unsigned(zero_extend(0x1cbf4, 64)) == 117748); + assert(unsigned(zero_extend(0x1cbf8, 64)) == 117752); + assert(unsigned(zero_extend(0x1cbfc, 64)) == 117756); + assert(unsigned(zero_extend(0x1cc00, 64)) == 117760); + assert(unsigned(zero_extend(0x1cc04, 64)) == 117764); + assert(unsigned(zero_extend(0x1cc08, 64)) == 117768); + assert(unsigned(zero_extend(0x1cc0c, 64)) == 117772); + assert(unsigned(zero_extend(0x1cc1c, 64)) == 117788); + assert(unsigned(zero_extend(0x1cc20, 64)) == 117792); + assert(unsigned(zero_extend(0x1cc24, 64)) == 117796); + assert(unsigned(zero_extend(0x1cc28, 64)) == 117800); + assert(unsigned(zero_extend(0x1cc2c, 64)) == 117804); + assert(unsigned(zero_extend(0x1cc30, 64)) == 117808); + assert(unsigned(zero_extend(0x1cc34, 64)) == 117812); + assert(unsigned(zero_extend(0x1cc38, 64)) == 117816); + assert(unsigned(zero_extend(0x1cc3c, 64)) == 117820); + assert(unsigned(zero_extend(0x1cc40, 64)) == 117824); + assert(unsigned(zero_extend(0x1cc44, 64)) == 117828); + assert(unsigned(zero_extend(0x1cc48, 64)) == 117832); + assert(unsigned(zero_extend(0x1cc4c, 64)) == 117836); + assert(unsigned(zero_extend(0x1cc50, 64)) == 117840); + assert(unsigned(zero_extend(0x1cc54, 64)) == 117844); + assert(unsigned(zero_extend(0x1cc58, 64)) == 117848); + assert(unsigned(zero_extend(0x1cc5c, 64)) == 117852); + assert(unsigned(zero_extend(0x1cc60, 64)) == 117856); + assert(unsigned(zero_extend(0x1cc64, 64)) == 117860); + assert(unsigned(zero_extend(0x1cc68, 64)) == 117864); + assert(unsigned(zero_extend(0x1cc6c, 64)) == 117868); + assert(unsigned(zero_extend(0x1cc70, 64)) == 117872); + assert(unsigned(zero_extend(0x1cc74, 64)) == 117876); + assert(unsigned(zero_extend(0x1cc78, 64)) == 117880); + assert(unsigned(zero_extend(0x1cc7c, 64)) == 117884); + assert(unsigned(zero_extend(0x1cc80, 64)) == 117888); + assert(unsigned(zero_extend(0x1cc84, 64)) == 117892); + assert(unsigned(zero_extend(0x1cc88, 64)) == 117896); + assert(unsigned(zero_extend(0x1cc8c, 64)) == 117900); + assert(unsigned(zero_extend(0x1cc90, 64)) == 117904); + assert(unsigned(zero_extend(0x1cc94, 64)) == 117908); + assert(unsigned(zero_extend(0x1cc98, 64)) == 117912); + assert(unsigned(zero_extend(0x1cc9c, 64)) == 117916); + assert(unsigned(zero_extend(0x1cca0, 64)) == 117920); + assert(unsigned(zero_extend(0x1cca4, 64)) == 117924); + assert(unsigned(zero_extend(0x1cca8, 64)) == 117928); + assert(unsigned(zero_extend(0x1ccac, 64)) == 117932); + assert(unsigned(zero_extend(0x1ccb0, 64)) == 117936); + assert(unsigned(zero_extend(0x1ccb4, 64)) == 117940); + assert(unsigned(zero_extend(0x1ccb8, 64)) == 117944); + assert(unsigned(zero_extend(0x1ccbc, 64)) == 117948); + assert(unsigned(zero_extend(0x1ccc0, 64)) == 117952); + assert(unsigned(zero_extend(0x1ccc4, 64)) == 117956); + assert(unsigned(zero_extend(0x1ccc8, 64)) == 117960); + assert(unsigned(zero_extend(0x1cccc, 64)) == 117964); + assert(unsigned(zero_extend(0x1ccd0, 64)) == 117968); + assert(unsigned(zero_extend(0x1ccd8, 64)) == 117976); + assert(unsigned(zero_extend(0x1ccdc, 64)) == 117980); + assert(unsigned(zero_extend(0x1cce0, 64)) == 117984); + assert(unsigned(zero_extend(0x1cce4, 64)) == 117988); + assert(unsigned(zero_extend(0x1cce8, 64)) == 117992); + assert(unsigned(zero_extend(0x1ccec, 64)) == 117996); + assert(unsigned(zero_extend(0x1ccf0, 64)) == 118000); + assert(unsigned(zero_extend(0x1ccf4, 64)) == 118004); + assert(unsigned(zero_extend(0x1ccf8, 64)) == 118008); + assert(unsigned(zero_extend(0x1ccfc, 64)) == 118012); + assert(unsigned(zero_extend(0x1cd00, 64)) == 118016); + assert(unsigned(zero_extend(0x1cd30, 64)) == 118064); + assert(unsigned(zero_extend(0x1cd34, 64)) == 118068); + assert(unsigned(zero_extend(0x1cd38, 64)) == 118072); + assert(unsigned(zero_extend(0x1cd3c, 64)) == 118076); + assert(unsigned(zero_extend(0x1cd40, 64)) == 118080); + assert(unsigned(zero_extend(0x1cd44, 64)) == 118084); + assert(unsigned(zero_extend(0x1cd48, 64)) == 118088); + assert(unsigned(zero_extend(0x1cd4c, 64)) == 118092); + assert(unsigned(zero_extend(0x1cd50, 64)) == 118096); + assert(unsigned(zero_extend(0x1cd54, 64)) == 118100); + assert(unsigned(zero_extend(0x1cd58, 64)) == 118104); + assert(unsigned(zero_extend(0x1cd7c, 64)) == 118140); + assert(unsigned(zero_extend(0x1cd80, 64)) == 118144); + assert(unsigned(zero_extend(0x1cd84, 64)) == 118148); + assert(unsigned(zero_extend(0x1cd88, 64)) == 118152); + assert(unsigned(zero_extend(0x1cd8c, 64)) == 118156); + assert(unsigned(zero_extend(0x1cd90, 64)) == 118160); + assert(unsigned(zero_extend(0x1cd94, 64)) == 118164); + assert(unsigned(zero_extend(0x1cd98, 64)) == 118168); + assert(unsigned(zero_extend(0x1cd9c, 64)) == 118172); + assert(unsigned(zero_extend(0x1cda0, 64)) == 118176); + assert(unsigned(zero_extend(0x1cda4, 64)) == 118180); + assert(unsigned(zero_extend(0x1cda8, 64)) == 118184); + assert(unsigned(zero_extend(0x1cdac, 64)) == 118188); + assert(unsigned(zero_extend(0x1cdb0, 64)) == 118192); + assert(unsigned(zero_extend(0x1cdb4, 64)) == 118196); + assert(unsigned(zero_extend(0x1cdb8, 64)) == 118200); + assert(unsigned(zero_extend(0x1cdbc, 64)) == 118204); + assert(unsigned(zero_extend(0x1cdc0, 64)) == 118208); + assert(unsigned(zero_extend(0x1cdc4, 64)) == 118212); + assert(unsigned(zero_extend(0x1cdc8, 64)) == 118216); + assert(unsigned(zero_extend(0x1cdcc, 64)) == 118220); + assert(unsigned(zero_extend(0x1cdd0, 64)) == 118224); + assert(unsigned(zero_extend(0x1cdd4, 64)) == 118228); + assert(unsigned(zero_extend(0x1cdd8, 64)) == 118232); + assert(unsigned(zero_extend(0x1cddc, 64)) == 118236); + assert(unsigned(zero_extend(0x1cde0, 64)) == 118240); + assert(unsigned(zero_extend(0x1cde4, 64)) == 118244); + assert(unsigned(zero_extend(0x1cde8, 64)) == 118248); + assert(unsigned(zero_extend(0x1cdec, 64)) == 118252); + assert(unsigned(zero_extend(0x1cdf0, 64)) == 118256); + assert(unsigned(zero_extend(0x1cdf4, 64)) == 118260); +} |