default Order dec $include $include overload zero_extend = {sail_zero_extend} 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); }