default Order dec $include $include val flip_mask : forall 'len 'v, 'len >= 0 & 'v >= 0. (bitvector('v, dec), atom('len)) -> bitvector('len, dec) function flip_mask(v, len) = len ^ v function main (() : unit) -> unit = { assert(unsigned(flip_mask(0x0, 1)) == 0); assert(unsigned(flip_mask(0x1, 1)) == 1); assert(unsigned(flip_mask(0x0, 10)) == 0); assert(unsigned(flip_mask(0x1, 10)) == 1); assert(unsigned(flip_mask(0x100, 10)) == 256); assert(unsigned(flip_mask(0x102, 10)) == 258); assert(unsigned(flip_mask(0x140, 10)) == 320); assert(unsigned(flip_mask(0x180, 10)) == 384); assert(unsigned(flip_mask(0x2, 10)) == 2); assert(unsigned(flip_mask(0x200, 10)) == 512); assert(unsigned(flip_mask(0x202, 10)) == 514); assert(unsigned(flip_mask(0x203, 10)) == 515); assert(unsigned(flip_mask(0x205, 10)) == 517); assert(unsigned(flip_mask(0x206, 10)) == 518); assert(unsigned(flip_mask(0x380, 10)) == 896); assert(unsigned(flip_mask(0x3c0, 10)) == 960); assert(unsigned(flip_mask(0x4, 10)) == 4); assert(unsigned(flip_mask(0x40, 10)) == 64); assert(unsigned(flip_mask(0x41, 10)) == 65); assert(unsigned(flip_mask(0x5, 10)) == 5); assert(unsigned(flip_mask(0x6, 10)) == 6); assert(unsigned(flip_mask(0x7, 10)) == 7); assert(unsigned(flip_mask(0x8, 10)) == 8); assert(unsigned(flip_mask(0x80, 10)) == 128); assert(unsigned(flip_mask(0x85, 10)) == 133); assert(unsigned(flip_mask(0xc0, 10)) == 192); assert(unsigned(flip_mask(0xfe, 10)) == 254); assert(unsigned(flip_mask(0x0, 16)) == 0); assert(unsigned(flip_mask(0x0, 2)) == 0); assert(unsigned(flip_mask(0x1, 2)) == 1); assert(unsigned(flip_mask(0x2, 2)) == 2); assert(unsigned(flip_mask(0x3, 2)) == 3); assert(unsigned(flip_mask(0x0, 3)) == 0); assert(unsigned(flip_mask(0x1, 3)) == 1); assert(unsigned(flip_mask(0x2, 3)) == 2); assert(unsigned(flip_mask(0x3, 3)) == 3); assert(unsigned(flip_mask(0x4, 3)) == 4); assert(unsigned(flip_mask(0x5, 3)) == 5); assert(unsigned(flip_mask(0x6, 3)) == 6); assert(unsigned(flip_mask(0x7, 3)) == 7); assert(unsigned(flip_mask(0x0, 32)) == 0); assert(unsigned(flip_mask(0x1, 32)) == 1); assert(unsigned(flip_mask(0x10, 32)) == 16); assert(unsigned(flip_mask(0x10000, 32)) == 65536); assert(unsigned(flip_mask(0x10001, 32)) == 65537); assert(unsigned(flip_mask(0x11, 32)) == 17); assert(unsigned(flip_mask(0x11223344, 32)) == 287454020); assert(unsigned(flip_mask(0x118, 32)) == 280); assert(unsigned(flip_mask(0x12, 32)) == 18); assert(unsigned(flip_mask(0x1234, 32)) == 4660); assert(unsigned(flip_mask(0x12345678, 32)) == 305419896); assert(unsigned(flip_mask(0x13, 32)) == 19); assert(unsigned(flip_mask(0x14, 32)) == 20); assert(unsigned(flip_mask(0x15, 32)) == 21); assert(unsigned(flip_mask(0x16, 32)) == 22); assert(unsigned(flip_mask(0x17, 32)) == 23); assert(unsigned(flip_mask(0x17ffe, 32)) == 98302); assert(unsigned(flip_mask(0x17fff, 32)) == 98303); assert(unsigned(flip_mask(0x18, 32)) == 24); assert(unsigned(flip_mask(0x18000, 32)) == 98304); assert(unsigned(flip_mask(0x19, 32)) == 25); assert(unsigned(flip_mask(0x1a, 32)) == 26); assert(unsigned(flip_mask(0x1b, 32)) == 27); assert(unsigned(flip_mask(0x1c, 32)) == 28); assert(unsigned(flip_mask(0x1d, 32)) == 29); assert(unsigned(flip_mask(0x1e, 32)) == 30); assert(unsigned(flip_mask(0x1f, 32)) == 31); assert(unsigned(flip_mask(0x2, 32)) == 2); assert(unsigned(flip_mask(0x20, 32)) == 32); assert(unsigned(flip_mask(0x20000, 32)) == 131072); assert(unsigned(flip_mask(0x21, 32)) == 33); assert(unsigned(flip_mask(0x23, 32)) == 35); assert(unsigned(flip_mask(0x230, 32)) == 560); assert(unsigned(flip_mask(0x25, 32)) == 37); assert(unsigned(flip_mask(0x26, 32)) == 38); assert(unsigned(flip_mask(0x27, 32)) == 39); assert(unsigned(flip_mask(0x28, 32)) == 40); assert(unsigned(flip_mask(0x280, 32)) == 640); assert(unsigned(flip_mask(0x29, 32)) == 41); assert(unsigned(flip_mask(0x298, 32)) == 664); assert(unsigned(flip_mask(0x2a, 32)) == 42); assert(unsigned(flip_mask(0x2a0, 32)) == 672); assert(unsigned(flip_mask(0x2b, 32)) == 43); assert(unsigned(flip_mask(0x2d, 32)) == 45); assert(unsigned(flip_mask(0x2e, 32)) == 46); assert(unsigned(flip_mask(0x2f, 32)) == 47); assert(unsigned(flip_mask(0x3, 32)) == 3); assert(unsigned(flip_mask(0x30, 32)) == 48); assert(unsigned(flip_mask(0x31, 32)) == 49); assert(unsigned(flip_mask(0x32, 32)) == 50); assert(unsigned(flip_mask(0x33, 32)) == 51); assert(unsigned(flip_mask(0x34, 32)) == 52); assert(unsigned(flip_mask(0x35, 32)) == 53); assert(unsigned(flip_mask(0x36, 32)) == 54); assert(unsigned(flip_mask(0x37, 32)) == 55); assert(unsigned(flip_mask(0x38, 32)) == 56); assert(unsigned(flip_mask(0x39, 32)) == 57); assert(unsigned(flip_mask(0x3a, 32)) == 58); assert(unsigned(flip_mask(0x3c, 32)) == 60); assert(unsigned(flip_mask(0x3e, 32)) == 62); assert(unsigned(flip_mask(0x3f, 32)) == 63); assert(unsigned(flip_mask(0x4, 32)) == 4); assert(unsigned(flip_mask(0x40, 32)) == 64); assert(unsigned(flip_mask(0x41, 32)) == 65); assert(unsigned(flip_mask(0x43, 32)) == 67); assert(unsigned(flip_mask(0x44, 32)) == 68); assert(unsigned(flip_mask(0x45, 32)) == 69); assert(unsigned(flip_mask(0x46, 32)) == 70); assert(unsigned(flip_mask(0x47, 32)) == 71); assert(unsigned(flip_mask(0x48, 32)) == 72); assert(unsigned(flip_mask(0x4a, 32)) == 74); assert(unsigned(flip_mask(0x4b, 32)) == 75); assert(unsigned(flip_mask(0x4c, 32)) == 76); assert(unsigned(flip_mask(0x4d, 32)) == 77); assert(unsigned(flip_mask(0x4e, 32)) == 78); assert(unsigned(flip_mask(0x4f, 32)) == 79); assert(unsigned(flip_mask(0x5, 32)) == 5); assert(unsigned(flip_mask(0x50, 32)) == 80); assert(unsigned(flip_mask(0x52, 32)) == 82); assert(unsigned(flip_mask(0x53, 32)) == 83); assert(unsigned(flip_mask(0x54, 32)) == 84); assert(unsigned(flip_mask(0x55, 32)) == 85); assert(unsigned(flip_mask(0x5a5a, 32)) == 23130); assert(unsigned(flip_mask(0x5a5a5a59, 32)) == 1515870809); assert(unsigned(flip_mask(0x5a5a5a5a, 32)) == 1515870810); assert(unsigned(flip_mask(0x5f, 32)) == 95); assert(unsigned(flip_mask(0x6, 32)) == 6); assert(unsigned(flip_mask(0x6000, 32)) == 24576); assert(unsigned(flip_mask(0x60000000, 32)) == 1610612736); assert(unsigned(flip_mask(0x61, 32)) == 97); assert(unsigned(flip_mask(0x62, 32)) == 98); assert(unsigned(flip_mask(0x63, 32)) == 99); assert(unsigned(flip_mask(0x64, 32)) == 100); assert(unsigned(flip_mask(0x65, 32)) == 101); assert(unsigned(flip_mask(0x66, 32)) == 102); assert(unsigned(flip_mask(0x68, 32)) == 104); assert(unsigned(flip_mask(0x69, 32)) == 105); assert(unsigned(flip_mask(0x6b7c8d9f, 32)) == 1803324831); assert(unsigned(flip_mask(0x6c, 32)) == 108); assert(unsigned(flip_mask(0x6d, 32)) == 109); assert(unsigned(flip_mask(0x6e, 32)) == 110); assert(unsigned(flip_mask(0x6f, 32)) == 111); assert(unsigned(flip_mask(0x7, 32)) == 7); assert(unsigned(flip_mask(0x70, 32)) == 112); assert(unsigned(flip_mask(0x72, 32)) == 114); assert(unsigned(flip_mask(0x73, 32)) == 115); assert(unsigned(flip_mask(0x74, 32)) == 116); assert(unsigned(flip_mask(0x75, 32)) == 117); assert(unsigned(flip_mask(0x76, 32)) == 118); assert(unsigned(flip_mask(0x764c321, 32)) == 124044065); assert(unsigned(flip_mask(0x78, 32)) == 120); assert(unsigned(flip_mask(0x7ffe, 32)) == 32766); assert(unsigned(flip_mask(0x7fff, 32)) == 32767); assert(unsigned(flip_mask(0x7fff7fff, 32)) == 2147450879); assert(unsigned(flip_mask(0x7ffffffe, 32)) == 2147483646); assert(unsigned(flip_mask(0x7fffffff, 32)) == 2147483647); assert(unsigned(flip_mask(0x8, 32)) == 8); assert(unsigned(flip_mask(0x8000, 32)) == 32768); assert(unsigned(flip_mask(0x80000000, 32)) == 2147483648); assert(unsigned(flip_mask(0x80000001, 32)) == 2147483649); assert(unsigned(flip_mask(0x80000002, 32)) == 2147483650); assert(unsigned(flip_mask(0x80000003, 32)) == 2147483651); assert(unsigned(flip_mask(0x80008000, 32)) == 2147516416); assert(unsigned(flip_mask(0x8001, 32)) == 32769); assert(unsigned(flip_mask(0x8002, 32)) == 32770); assert(unsigned(flip_mask(0x8003, 32)) == 32771); assert(unsigned(flip_mask(0x87654321, 32)) == 2271560481); assert(unsigned(flip_mask(0x8899aabb, 32)) == 2291772091); assert(unsigned(flip_mask(0x89ab, 32)) == 35243); assert(unsigned(flip_mask(0x8fffffff, 32)) == 2415919103); assert(unsigned(flip_mask(0x9, 32)) == 9); assert(unsigned(flip_mask(0x90000000, 32)) == 2415919104); assert(unsigned(flip_mask(0x90000001, 32)) == 2415919105); assert(unsigned(flip_mask(0x9234567a, 32)) == 2452903546); assert(unsigned(flip_mask(0x950, 32)) == 2384); assert(unsigned(flip_mask(0x9be0, 32)) == 39904); assert(unsigned(flip_mask(0xa, 32)) == 10); assert(unsigned(flip_mask(0xa5a5, 32)) == 42405); assert(unsigned(flip_mask(0xa5a5a5a5, 32)) == 2779096485); assert(unsigned(flip_mask(0xb, 32)) == 11); assert(unsigned(flip_mask(0xc, 32)) == 12); assert(unsigned(flip_mask(0xd, 32)) == 13); assert(unsigned(flip_mask(0xe, 32)) == 14); assert(unsigned(flip_mask(0xe0000000, 32)) == 3758096384); assert(unsigned(flip_mask(0xf, 32)) == 15); assert(unsigned(flip_mask(0xff, 32)) == 255); assert(unsigned(flip_mask(0xfffe, 32)) == 65534); assert(unsigned(flip_mask(0xffff, 32)) == 65535); assert(unsigned(flip_mask(0xffff8000, 32)) == 4294934528); assert(unsigned(flip_mask(0xffffff00, 32)) == 4294967040); assert(unsigned(flip_mask(0xffffff87, 32)) == 4294967175); assert(unsigned(flip_mask(0xffffff8c, 32)) == 4294967180); assert(unsigned(flip_mask(0xffffff93, 32)) == 4294967187); assert(unsigned(flip_mask(0xffffff9b, 32)) == 4294967195); assert(unsigned(flip_mask(0xffffffa7, 32)) == 4294967207); assert(unsigned(flip_mask(0xffffffd0, 32)) == 4294967248); assert(unsigned(flip_mask(0xffffffd8, 32)) == 4294967256); assert(unsigned(flip_mask(0xffffffda, 32)) == 4294967258); assert(unsigned(flip_mask(0xffffffdf, 32)) == 4294967263); assert(unsigned(flip_mask(0xffffffe0, 32)) == 4294967264); assert(unsigned(flip_mask(0xffffffe1, 32)) == 4294967265); assert(unsigned(flip_mask(0xffffffe2, 32)) == 4294967266); assert(unsigned(flip_mask(0xffffffe3, 32)) == 4294967267); assert(unsigned(flip_mask(0xffffffe4, 32)) == 4294967268); assert(unsigned(flip_mask(0xffffffe5, 32)) == 4294967269); assert(unsigned(flip_mask(0xffffffe6, 32)) == 4294967270); assert(unsigned(flip_mask(0xffffffe7, 32)) == 4294967271); assert(unsigned(flip_mask(0xffffffe8, 32)) == 4294967272); assert(unsigned(flip_mask(0xffffffe9, 32)) == 4294967273); assert(unsigned(flip_mask(0xffffffea, 32)) == 4294967274); assert(unsigned(flip_mask(0xffffffeb, 32)) == 4294967275); assert(unsigned(flip_mask(0xffffffec, 32)) == 4294967276); assert(unsigned(flip_mask(0xffffffed, 32)) == 4294967277); assert(unsigned(flip_mask(0xffffffee, 32)) == 4294967278); assert(unsigned(flip_mask(0xffffffef, 32)) == 4294967279); assert(unsigned(flip_mask(0xfffffff, 32)) == 268435455); assert(unsigned(flip_mask(0xfffffff0, 32)) == 4294967280); assert(unsigned(flip_mask(0xfffffff1, 32)) == 4294967281); assert(unsigned(flip_mask(0xfffffff2, 32)) == 4294967282); assert(unsigned(flip_mask(0xfffffff3, 32)) == 4294967283); assert(unsigned(flip_mask(0xfffffff4, 32)) == 4294967284); assert(unsigned(flip_mask(0xfffffff5, 32)) == 4294967285); assert(unsigned(flip_mask(0xfffffff6, 32)) == 4294967286); assert(unsigned(flip_mask(0xfffffff7, 32)) == 4294967287); assert(unsigned(flip_mask(0xfffffff8, 32)) == 4294967288); assert(unsigned(flip_mask(0xfffffff9, 32)) == 4294967289); assert(unsigned(flip_mask(0xfffffffa, 32)) == 4294967290); assert(unsigned(flip_mask(0xfffffffb, 32)) == 4294967291); assert(unsigned(flip_mask(0xfffffffc, 32)) == 4294967292); assert(unsigned(flip_mask(0xfffffffd, 32)) == 4294967293); assert(unsigned(flip_mask(0xfffffffe, 32)) == 4294967294); assert(unsigned(flip_mask(0xffffffff, 32)) == 4294967295); assert(unsigned(flip_mask(0x0, 4)) == 0); assert(unsigned(flip_mask(0x1, 4)) == 1); assert(unsigned(flip_mask(0x2, 4)) == 2); assert(unsigned(flip_mask(0x3, 4)) == 3); assert(unsigned(flip_mask(0x4, 4)) == 4); assert(unsigned(flip_mask(0x5, 4)) == 5); assert(unsigned(flip_mask(0x6, 4)) == 6); assert(unsigned(flip_mask(0x7, 4)) == 7); assert(unsigned(flip_mask(0x8, 4)) == 8); assert(unsigned(flip_mask(0xa, 4)) == 10); assert(unsigned(flip_mask(0xc, 4)) == 12); assert(unsigned(flip_mask(0xd, 4)) == 13); assert(unsigned(flip_mask(0xe, 4)) == 14); assert(unsigned(flip_mask(0x0, 5)) == 0); assert(unsigned(flip_mask(0x1, 5)) == 1); assert(unsigned(flip_mask(0x10, 5)) == 16); assert(unsigned(flip_mask(0x11, 5)) == 17); assert(unsigned(flip_mask(0x12, 5)) == 18); assert(unsigned(flip_mask(0x13, 5)) == 19); assert(unsigned(flip_mask(0x14, 5)) == 20); assert(unsigned(flip_mask(0x15, 5)) == 21); assert(unsigned(flip_mask(0x16, 5)) == 22); assert(unsigned(flip_mask(0x17, 5)) == 23); assert(unsigned(flip_mask(0x18, 5)) == 24); assert(unsigned(flip_mask(0x19, 5)) == 25); assert(unsigned(flip_mask(0x1a, 5)) == 26); assert(unsigned(flip_mask(0x1b, 5)) == 27); assert(unsigned(flip_mask(0x1c, 5)) == 28); assert(unsigned(flip_mask(0x1d, 5)) == 29); assert(unsigned(flip_mask(0x1e, 5)) == 30); assert(unsigned(flip_mask(0x1f, 5)) == 31); assert(unsigned(flip_mask(0x2, 5)) == 2); assert(unsigned(flip_mask(0x3, 5)) == 3); assert(unsigned(flip_mask(0x4, 5)) == 4); assert(unsigned(flip_mask(0x5, 5)) == 5); assert(unsigned(flip_mask(0x6, 5)) == 6); assert(unsigned(flip_mask(0x7, 5)) == 7); assert(unsigned(flip_mask(0x8, 5)) == 8); assert(unsigned(flip_mask(0x9, 5)) == 9); assert(unsigned(flip_mask(0xa, 5)) == 10); assert(unsigned(flip_mask(0xb, 5)) == 11); assert(unsigned(flip_mask(0xc, 5)) == 12); assert(unsigned(flip_mask(0xd, 5)) == 13); assert(unsigned(flip_mask(0xe, 5)) == 14); assert(unsigned(flip_mask(0xf, 5)) == 15); assert(unsigned(flip_mask(0x0, 52)) == 0); assert(unsigned(flip_mask(0x101000, 52)) == 1052672); assert(unsigned(flip_mask(0x101004, 52)) == 1052676); assert(unsigned(flip_mask(0x101008, 52)) == 1052680); assert(unsigned(flip_mask(0x10100c, 52)) == 1052684); assert(unsigned(flip_mask(0x101010, 52)) == 1052688); assert(unsigned(flip_mask(0x101014, 52)) == 1052692); assert(unsigned(flip_mask(0x101018, 52)) == 1052696); assert(unsigned(flip_mask(0x10101c, 52)) == 1052700); assert(unsigned(flip_mask(0x101020, 52)) == 1052704); assert(unsigned(flip_mask(0x101024, 52)) == 1052708); assert(unsigned(flip_mask(0x101028, 52)) == 1052712); assert(unsigned(flip_mask(0x10102c, 52)) == 1052716); assert(unsigned(flip_mask(0x101030, 52)) == 1052720); assert(unsigned(flip_mask(0x101034, 52)) == 1052724); assert(unsigned(flip_mask(0x101038, 52)) == 1052728); assert(unsigned(flip_mask(0x10103c, 52)) == 1052732); assert(unsigned(flip_mask(0x101040, 52)) == 1052736); assert(unsigned(flip_mask(0x101044, 52)) == 1052740); assert(unsigned(flip_mask(0x101048, 52)) == 1052744); assert(unsigned(flip_mask(0x10104c, 52)) == 1052748); assert(unsigned(flip_mask(0x101050, 52)) == 1052752); assert(unsigned(flip_mask(0x101054, 52)) == 1052756); assert(unsigned(flip_mask(0x101058, 52)) == 1052760); assert(unsigned(flip_mask(0x10105c, 52)) == 1052764); assert(unsigned(flip_mask(0x101060, 52)) == 1052768); assert(unsigned(flip_mask(0x101064, 52)) == 1052772); assert(unsigned(flip_mask(0x101068, 52)) == 1052776); assert(unsigned(flip_mask(0x10106c, 52)) == 1052780); assert(unsigned(flip_mask(0x101070, 52)) == 1052784); assert(unsigned(flip_mask(0x101074, 52)) == 1052788); assert(unsigned(flip_mask(0x101078, 52)) == 1052792); assert(unsigned(flip_mask(0x10107c, 52)) == 1052796); assert(unsigned(flip_mask(0x101080, 52)) == 1052800); assert(unsigned(flip_mask(0x101088, 52)) == 1052808); assert(unsigned(flip_mask(0x10108c, 52)) == 1052812); assert(unsigned(flip_mask(0x101090, 52)) == 1052816); assert(unsigned(flip_mask(0x101094, 52)) == 1052820); assert(unsigned(flip_mask(0x101098, 52)) == 1052824); assert(unsigned(flip_mask(0x10109c, 52)) == 1052828); assert(unsigned(flip_mask(0x1010a0, 52)) == 1052832); assert(unsigned(flip_mask(0x1010ac, 52)) == 1052844); assert(unsigned(flip_mask(0x1010b0, 52)) == 1052848); assert(unsigned(flip_mask(0x1010b4, 52)) == 1052852); assert(unsigned(flip_mask(0x1010b8, 52)) == 1052856); assert(unsigned(flip_mask(0x1010c0, 52)) == 1052864); assert(unsigned(flip_mask(0x1010c4, 52)) == 1052868); assert(unsigned(flip_mask(0x1010c8, 52)) == 1052872); assert(unsigned(flip_mask(0x1010cc, 52)) == 1052876); assert(unsigned(flip_mask(0x1010d0, 52)) == 1052880); assert(unsigned(flip_mask(0x1010d4, 52)) == 1052884); assert(unsigned(flip_mask(0x1010d8, 52)) == 1052888); assert(unsigned(flip_mask(0x1010dc, 52)) == 1052892); assert(unsigned(flip_mask(0x1010e0, 52)) == 1052896); assert(unsigned(flip_mask(0x1010e4, 52)) == 1052900); assert(unsigned(flip_mask(0x1010e8, 52)) == 1052904); assert(unsigned(flip_mask(0x1010ec, 52)) == 1052908); assert(unsigned(flip_mask(0x1010f0, 52)) == 1052912); assert(unsigned(flip_mask(0x1010f4, 52)) == 1052916); assert(unsigned(flip_mask(0x1010f8, 52)) == 1052920); assert(unsigned(flip_mask(0x1010fc, 52)) == 1052924); assert(unsigned(flip_mask(0x101100, 52)) == 1052928); assert(unsigned(flip_mask(0x101104, 52)) == 1052932); assert(unsigned(flip_mask(0x101108, 52)) == 1052936); assert(unsigned(flip_mask(0x10110c, 52)) == 1052940); assert(unsigned(flip_mask(0x101110, 52)) == 1052944); assert(unsigned(flip_mask(0x101114, 52)) == 1052948); assert(unsigned(flip_mask(0x101118, 52)) == 1052952); assert(unsigned(flip_mask(0x10111c, 52)) == 1052956); assert(unsigned(flip_mask(0x101120, 52)) == 1052960); assert(unsigned(flip_mask(0x101124, 52)) == 1052964); assert(unsigned(flip_mask(0x101128, 52)) == 1052968); assert(unsigned(flip_mask(0x10112c, 52)) == 1052972); assert(unsigned(flip_mask(0x101130, 52)) == 1052976); assert(unsigned(flip_mask(0x101134, 52)) == 1052980); assert(unsigned(flip_mask(0x101138, 52)) == 1052984); assert(unsigned(flip_mask(0x10113c, 52)) == 1052988); assert(unsigned(flip_mask(0x101140, 52)) == 1052992); assert(unsigned(flip_mask(0x101144, 52)) == 1052996); assert(unsigned(flip_mask(0x101148, 52)) == 1053000); assert(unsigned(flip_mask(0x10114c, 52)) == 1053004); assert(unsigned(flip_mask(0x101150, 52)) == 1053008); assert(unsigned(flip_mask(0x101154, 52)) == 1053012); assert(unsigned(flip_mask(0x101158, 52)) == 1053016); assert(unsigned(flip_mask(0x10115c, 52)) == 1053020); assert(unsigned(flip_mask(0x101160, 52)) == 1053024); assert(unsigned(flip_mask(0x101164, 52)) == 1053028); assert(unsigned(flip_mask(0x101168, 52)) == 1053032); assert(unsigned(flip_mask(0x10116c, 52)) == 1053036); assert(unsigned(flip_mask(0x101170, 52)) == 1053040); assert(unsigned(flip_mask(0x101174, 52)) == 1053044); assert(unsigned(flip_mask(0x101178, 52)) == 1053048); assert(unsigned(flip_mask(0x10117c, 52)) == 1053052); assert(unsigned(flip_mask(0x101180, 52)) == 1053056); assert(unsigned(flip_mask(0x101184, 52)) == 1053060); assert(unsigned(flip_mask(0x101188, 52)) == 1053064); assert(unsigned(flip_mask(0x10118c, 52)) == 1053068); assert(unsigned(flip_mask(0x101190, 52)) == 1053072); assert(unsigned(flip_mask(0x101194, 52)) == 1053076); assert(unsigned(flip_mask(0x101198, 52)) == 1053080); assert(unsigned(flip_mask(0x10119c, 52)) == 1053084); assert(unsigned(flip_mask(0x1011a0, 52)) == 1053088); assert(unsigned(flip_mask(0x1011a4, 52)) == 1053092); assert(unsigned(flip_mask(0x1011a8, 52)) == 1053096); assert(unsigned(flip_mask(0x1011ac, 52)) == 1053100); assert(unsigned(flip_mask(0x1011b0, 52)) == 1053104); assert(unsigned(flip_mask(0x1011b4, 52)) == 1053108); assert(unsigned(flip_mask(0x1011b8, 52)) == 1053112); assert(unsigned(flip_mask(0x101200, 52)) == 1053184); assert(unsigned(flip_mask(0x101204, 52)) == 1053188); assert(unsigned(flip_mask(0x101208, 52)) == 1053192); assert(unsigned(flip_mask(0x10120c, 52)) == 1053196); assert(unsigned(flip_mask(0x101210, 52)) == 1053200); assert(unsigned(flip_mask(0x101214, 52)) == 1053204); assert(unsigned(flip_mask(0x101218, 52)) == 1053208); assert(unsigned(flip_mask(0x10121c, 52)) == 1053212); assert(unsigned(flip_mask(0x101220, 52)) == 1053216); assert(unsigned(flip_mask(0x101224, 52)) == 1053220); assert(unsigned(flip_mask(0x101228, 52)) == 1053224); assert(unsigned(flip_mask(0x10122c, 52)) == 1053228); assert(unsigned(flip_mask(0x101230, 52)) == 1053232); assert(unsigned(flip_mask(0x101234, 52)) == 1053236); assert(unsigned(flip_mask(0x101238, 52)) == 1053240); assert(unsigned(flip_mask(0x101240, 52)) == 1053248); assert(unsigned(flip_mask(0x101248, 52)) == 1053256); assert(unsigned(flip_mask(0x101250, 52)) == 1053264); assert(unsigned(flip_mask(0x101258, 52)) == 1053272); assert(unsigned(flip_mask(0x101260, 52)) == 1053280); assert(unsigned(flip_mask(0x101270, 52)) == 1053296); assert(unsigned(flip_mask(0x101278, 52)) == 1053304); assert(unsigned(flip_mask(0x101280, 52)) == 1053312); assert(unsigned(flip_mask(0x102000, 52)) == 1056768); assert(unsigned(flip_mask(0x102004, 52)) == 1056772); assert(unsigned(flip_mask(0x102008, 52)) == 1056776); assert(unsigned(flip_mask(0x10200c, 52)) == 1056780); assert(unsigned(flip_mask(0x102010, 52)) == 1056784); assert(unsigned(flip_mask(0x102014, 52)) == 1056788); assert(unsigned(flip_mask(0x102018, 52)) == 1056792); assert(unsigned(flip_mask(0x10201c, 52)) == 1056796); assert(unsigned(flip_mask(0x102020, 52)) == 1056800); assert(unsigned(flip_mask(0x102024, 52)) == 1056804); assert(unsigned(flip_mask(0x102028, 52)) == 1056808); assert(unsigned(flip_mask(0x10202c, 52)) == 1056812); assert(unsigned(flip_mask(0x102030, 52)) == 1056816); assert(unsigned(flip_mask(0x102034, 52)) == 1056820); assert(unsigned(flip_mask(0x102038, 52)) == 1056824); assert(unsigned(flip_mask(0x10203c, 52)) == 1056828); assert(unsigned(flip_mask(0x102040, 52)) == 1056832); assert(unsigned(flip_mask(0x102044, 52)) == 1056836); assert(unsigned(flip_mask(0x102048, 52)) == 1056840); assert(unsigned(flip_mask(0x10204c, 52)) == 1056844); assert(unsigned(flip_mask(0x102050, 52)) == 1056848); assert(unsigned(flip_mask(0x102054, 52)) == 1056852); assert(unsigned(flip_mask(0x102058, 52)) == 1056856); assert(unsigned(flip_mask(0x10205c, 52)) == 1056860); assert(unsigned(flip_mask(0x102060, 52)) == 1056864); assert(unsigned(flip_mask(0x102064, 52)) == 1056868); assert(unsigned(flip_mask(0x102068, 52)) == 1056872); assert(unsigned(flip_mask(0x10206c, 52)) == 1056876); assert(unsigned(flip_mask(0x102070, 52)) == 1056880); assert(unsigned(flip_mask(0x102074, 52)) == 1056884); assert(unsigned(flip_mask(0x102078, 52)) == 1056888); assert(unsigned(flip_mask(0x10207c, 52)) == 1056892); assert(unsigned(flip_mask(0x102080, 52)) == 1056896); assert(unsigned(flip_mask(0x102084, 52)) == 1056900); assert(unsigned(flip_mask(0x102088, 52)) == 1056904); assert(unsigned(flip_mask(0x10208c, 52)) == 1056908); assert(unsigned(flip_mask(0x102090, 52)) == 1056912); assert(unsigned(flip_mask(0x102098, 52)) == 1056920); assert(unsigned(flip_mask(0x10209c, 52)) == 1056924); assert(unsigned(flip_mask(0x1020a0, 52)) == 1056928); assert(unsigned(flip_mask(0x1020a4, 52)) == 1056932); assert(unsigned(flip_mask(0x1020a8, 52)) == 1056936); assert(unsigned(flip_mask(0x1020ac, 52)) == 1056940); assert(unsigned(flip_mask(0x1020b0, 52)) == 1056944); assert(unsigned(flip_mask(0x1020bc, 52)) == 1056956); assert(unsigned(flip_mask(0x1020c0, 52)) == 1056960); assert(unsigned(flip_mask(0x1020c4, 52)) == 1056964); assert(unsigned(flip_mask(0x1020c8, 52)) == 1056968); assert(unsigned(flip_mask(0x1020d0, 52)) == 1056976); assert(unsigned(flip_mask(0x1020d4, 52)) == 1056980); assert(unsigned(flip_mask(0x1020d8, 52)) == 1056984); assert(unsigned(flip_mask(0x1020dc, 52)) == 1056988); assert(unsigned(flip_mask(0x1020e0, 52)) == 1056992); assert(unsigned(flip_mask(0x1020e4, 52)) == 1056996); assert(unsigned(flip_mask(0x1020e8, 52)) == 1057000); assert(unsigned(flip_mask(0x1020ec, 52)) == 1057004); assert(unsigned(flip_mask(0x1020f0, 52)) == 1057008); assert(unsigned(flip_mask(0x1020f4, 52)) == 1057012); assert(unsigned(flip_mask(0x1020f8, 52)) == 1057016); assert(unsigned(flip_mask(0x1020fc, 52)) == 1057020); assert(unsigned(flip_mask(0x102100, 52)) == 1057024); assert(unsigned(flip_mask(0x102104, 52)) == 1057028); assert(unsigned(flip_mask(0x102108, 52)) == 1057032); assert(unsigned(flip_mask(0x10210c, 52)) == 1057036); assert(unsigned(flip_mask(0x102110, 52)) == 1057040); assert(unsigned(flip_mask(0x102114, 52)) == 1057044); assert(unsigned(flip_mask(0x102118, 52)) == 1057048); assert(unsigned(flip_mask(0x10211c, 52)) == 1057052); assert(unsigned(flip_mask(0x102120, 52)) == 1057056); assert(unsigned(flip_mask(0x102124, 52)) == 1057060); assert(unsigned(flip_mask(0x102128, 52)) == 1057064); assert(unsigned(flip_mask(0x10212c, 52)) == 1057068); assert(unsigned(flip_mask(0x102130, 52)) == 1057072); assert(unsigned(flip_mask(0x102134, 52)) == 1057076); assert(unsigned(flip_mask(0x102138, 52)) == 1057080); assert(unsigned(flip_mask(0x10213c, 52)) == 1057084); assert(unsigned(flip_mask(0x102140, 52)) == 1057088); assert(unsigned(flip_mask(0x102144, 52)) == 1057092); assert(unsigned(flip_mask(0x102148, 52)) == 1057096); assert(unsigned(flip_mask(0x10214c, 52)) == 1057100); assert(unsigned(flip_mask(0x102150, 52)) == 1057104); assert(unsigned(flip_mask(0x102154, 52)) == 1057108); assert(unsigned(flip_mask(0x102158, 52)) == 1057112); assert(unsigned(flip_mask(0x10215c, 52)) == 1057116); assert(unsigned(flip_mask(0x102160, 52)) == 1057120); assert(unsigned(flip_mask(0x102164, 52)) == 1057124); assert(unsigned(flip_mask(0x102168, 52)) == 1057128); assert(unsigned(flip_mask(0x10216c, 52)) == 1057132); assert(unsigned(flip_mask(0x102170, 52)) == 1057136); assert(unsigned(flip_mask(0x102174, 52)) == 1057140); assert(unsigned(flip_mask(0x102178, 52)) == 1057144); assert(unsigned(flip_mask(0x10217c, 52)) == 1057148); assert(unsigned(flip_mask(0x102180, 52)) == 1057152); assert(unsigned(flip_mask(0x102184, 52)) == 1057156); assert(unsigned(flip_mask(0x102188, 52)) == 1057160); assert(unsigned(flip_mask(0x10218c, 52)) == 1057164); assert(unsigned(flip_mask(0x102190, 52)) == 1057168); assert(unsigned(flip_mask(0x102194, 52)) == 1057172); assert(unsigned(flip_mask(0x102198, 52)) == 1057176); assert(unsigned(flip_mask(0x10219c, 52)) == 1057180); assert(unsigned(flip_mask(0x1021a0, 52)) == 1057184); assert(unsigned(flip_mask(0x1021a4, 52)) == 1057188); assert(unsigned(flip_mask(0x1021a8, 52)) == 1057192); assert(unsigned(flip_mask(0x1021ac, 52)) == 1057196); assert(unsigned(flip_mask(0x1021b0, 52)) == 1057200); assert(unsigned(flip_mask(0x1021b4, 52)) == 1057204); assert(unsigned(flip_mask(0x1021b8, 52)) == 1057208); assert(unsigned(flip_mask(0x102200, 52)) == 1057280); assert(unsigned(flip_mask(0x102204, 52)) == 1057284); assert(unsigned(flip_mask(0x102208, 52)) == 1057288); assert(unsigned(flip_mask(0x10220c, 52)) == 1057292); assert(unsigned(flip_mask(0x102210, 52)) == 1057296); assert(unsigned(flip_mask(0x102214, 52)) == 1057300); assert(unsigned(flip_mask(0x102218, 52)) == 1057304); assert(unsigned(flip_mask(0x10221c, 52)) == 1057308); assert(unsigned(flip_mask(0x102220, 52)) == 1057312); assert(unsigned(flip_mask(0x102224, 52)) == 1057316); assert(unsigned(flip_mask(0x102228, 52)) == 1057320); assert(unsigned(flip_mask(0x10222c, 52)) == 1057324); assert(unsigned(flip_mask(0x102230, 52)) == 1057328); assert(unsigned(flip_mask(0x102234, 52)) == 1057332); assert(unsigned(flip_mask(0x102238, 52)) == 1057336); assert(unsigned(flip_mask(0x102240, 52)) == 1057344); assert(unsigned(flip_mask(0x102248, 52)) == 1057352); assert(unsigned(flip_mask(0x102250, 52)) == 1057360); assert(unsigned(flip_mask(0x102258, 52)) == 1057368); assert(unsigned(flip_mask(0x102260, 52)) == 1057376); assert(unsigned(flip_mask(0x102270, 52)) == 1057392); assert(unsigned(flip_mask(0x102278, 52)) == 1057400); assert(unsigned(flip_mask(0x102280, 52)) == 1057408); assert(unsigned(flip_mask(0x10300000, 52)) == 271581184); assert(unsigned(flip_mask(0x10300004, 52)) == 271581188); assert(unsigned(flip_mask(0x10300008, 52)) == 271581192); assert(unsigned(flip_mask(0x10300010, 52)) == 271581200); assert(unsigned(flip_mask(0x104000, 52)) == 1064960); assert(unsigned(flip_mask(0x104004, 52)) == 1064964); assert(unsigned(flip_mask(0x104008, 52)) == 1064968); assert(unsigned(flip_mask(0x10400c, 52)) == 1064972); assert(unsigned(flip_mask(0x104010, 52)) == 1064976); assert(unsigned(flip_mask(0x104014, 52)) == 1064980); assert(unsigned(flip_mask(0x104018, 52)) == 1064984); assert(unsigned(flip_mask(0x10401c, 52)) == 1064988); assert(unsigned(flip_mask(0x104020, 52)) == 1064992); assert(unsigned(flip_mask(0x104024, 52)) == 1064996); assert(unsigned(flip_mask(0x104028, 52)) == 1065000); assert(unsigned(flip_mask(0x10402c, 52)) == 1065004); assert(unsigned(flip_mask(0x104030, 52)) == 1065008); assert(unsigned(flip_mask(0x104034, 52)) == 1065012); assert(unsigned(flip_mask(0x104038, 52)) == 1065016); assert(unsigned(flip_mask(0x10403c, 52)) == 1065020); assert(unsigned(flip_mask(0x104040, 52)) == 1065024); assert(unsigned(flip_mask(0x104044, 52)) == 1065028); assert(unsigned(flip_mask(0x104048, 52)) == 1065032); assert(unsigned(flip_mask(0x10404c, 52)) == 1065036); assert(unsigned(flip_mask(0x104050, 52)) == 1065040); assert(unsigned(flip_mask(0x104054, 52)) == 1065044); assert(unsigned(flip_mask(0x104058, 52)) == 1065048); assert(unsigned(flip_mask(0x10405c, 52)) == 1065052); assert(unsigned(flip_mask(0x104060, 52)) == 1065056); assert(unsigned(flip_mask(0x104064, 52)) == 1065060); assert(unsigned(flip_mask(0x104068, 52)) == 1065064); assert(unsigned(flip_mask(0x10406c, 52)) == 1065068); assert(unsigned(flip_mask(0x104070, 52)) == 1065072); assert(unsigned(flip_mask(0x104074, 52)) == 1065076); assert(unsigned(flip_mask(0x104078, 52)) == 1065080); assert(unsigned(flip_mask(0x10407c, 52)) == 1065084); assert(unsigned(flip_mask(0x104080, 52)) == 1065088); assert(unsigned(flip_mask(0x104088, 52)) == 1065096); assert(unsigned(flip_mask(0x10408c, 52)) == 1065100); assert(unsigned(flip_mask(0x104090, 52)) == 1065104); assert(unsigned(flip_mask(0x104094, 52)) == 1065108); assert(unsigned(flip_mask(0x104098, 52)) == 1065112); assert(unsigned(flip_mask(0x10409c, 52)) == 1065116); assert(unsigned(flip_mask(0x1040a0, 52)) == 1065120); assert(unsigned(flip_mask(0x1040ac, 52)) == 1065132); assert(unsigned(flip_mask(0x1040b0, 52)) == 1065136); assert(unsigned(flip_mask(0x1040b4, 52)) == 1065140); assert(unsigned(flip_mask(0x1040b8, 52)) == 1065144); assert(unsigned(flip_mask(0x1040c0, 52)) == 1065152); assert(unsigned(flip_mask(0x1040c4, 52)) == 1065156); assert(unsigned(flip_mask(0x1040c8, 52)) == 1065160); assert(unsigned(flip_mask(0x1040cc, 52)) == 1065164); assert(unsigned(flip_mask(0x1040d0, 52)) == 1065168); assert(unsigned(flip_mask(0x1040d4, 52)) == 1065172); assert(unsigned(flip_mask(0x1040d8, 52)) == 1065176); assert(unsigned(flip_mask(0x1040dc, 52)) == 1065180); assert(unsigned(flip_mask(0x1040e0, 52)) == 1065184); assert(unsigned(flip_mask(0x1040e4, 52)) == 1065188); assert(unsigned(flip_mask(0x1040e8, 52)) == 1065192); assert(unsigned(flip_mask(0x1040ec, 52)) == 1065196); assert(unsigned(flip_mask(0x1040f0, 52)) == 1065200); assert(unsigned(flip_mask(0x1040f4, 52)) == 1065204); assert(unsigned(flip_mask(0x1040f8, 52)) == 1065208); assert(unsigned(flip_mask(0x1040fc, 52)) == 1065212); assert(unsigned(flip_mask(0x104100, 52)) == 1065216); assert(unsigned(flip_mask(0x104104, 52)) == 1065220); assert(unsigned(flip_mask(0x104108, 52)) == 1065224); assert(unsigned(flip_mask(0x10410c, 52)) == 1065228); assert(unsigned(flip_mask(0x104110, 52)) == 1065232); assert(unsigned(flip_mask(0x104114, 52)) == 1065236); assert(unsigned(flip_mask(0x104118, 52)) == 1065240); assert(unsigned(flip_mask(0x10411c, 52)) == 1065244); assert(unsigned(flip_mask(0x104120, 52)) == 1065248); assert(unsigned(flip_mask(0x104124, 52)) == 1065252); assert(unsigned(flip_mask(0x104128, 52)) == 1065256); assert(unsigned(flip_mask(0x10412c, 52)) == 1065260); assert(unsigned(flip_mask(0x104130, 52)) == 1065264); assert(unsigned(flip_mask(0x104134, 52)) == 1065268); assert(unsigned(flip_mask(0x104138, 52)) == 1065272); assert(unsigned(flip_mask(0x10413c, 52)) == 1065276); assert(unsigned(flip_mask(0x104140, 52)) == 1065280); assert(unsigned(flip_mask(0x104144, 52)) == 1065284); assert(unsigned(flip_mask(0x104148, 52)) == 1065288); assert(unsigned(flip_mask(0x10414c, 52)) == 1065292); assert(unsigned(flip_mask(0x104150, 52)) == 1065296); assert(unsigned(flip_mask(0x104154, 52)) == 1065300); assert(unsigned(flip_mask(0x104158, 52)) == 1065304); assert(unsigned(flip_mask(0x10415c, 52)) == 1065308); assert(unsigned(flip_mask(0x104160, 52)) == 1065312); assert(unsigned(flip_mask(0x104164, 52)) == 1065316); assert(unsigned(flip_mask(0x104168, 52)) == 1065320); assert(unsigned(flip_mask(0x10416c, 52)) == 1065324); assert(unsigned(flip_mask(0x104170, 52)) == 1065328); assert(unsigned(flip_mask(0x104174, 52)) == 1065332); assert(unsigned(flip_mask(0x104178, 52)) == 1065336); assert(unsigned(flip_mask(0x10417c, 52)) == 1065340); assert(unsigned(flip_mask(0x104180, 52)) == 1065344); assert(unsigned(flip_mask(0x104184, 52)) == 1065348); assert(unsigned(flip_mask(0x104188, 52)) == 1065352); assert(unsigned(flip_mask(0x10418c, 52)) == 1065356); assert(unsigned(flip_mask(0x104190, 52)) == 1065360); assert(unsigned(flip_mask(0x104194, 52)) == 1065364); assert(unsigned(flip_mask(0x104198, 52)) == 1065368); assert(unsigned(flip_mask(0x10419c, 52)) == 1065372); assert(unsigned(flip_mask(0x1041a0, 52)) == 1065376); assert(unsigned(flip_mask(0x1041a4, 52)) == 1065380); assert(unsigned(flip_mask(0x1041a8, 52)) == 1065384); assert(unsigned(flip_mask(0x1041ac, 52)) == 1065388); assert(unsigned(flip_mask(0x1041b0, 52)) == 1065392); assert(unsigned(flip_mask(0x1041b4, 52)) == 1065396); assert(unsigned(flip_mask(0x1041b8, 52)) == 1065400); assert(unsigned(flip_mask(0x1041bc, 52)) == 1065404); assert(unsigned(flip_mask(0x1041c0, 52)) == 1065408); assert(unsigned(flip_mask(0x104200, 52)) == 1065472); assert(unsigned(flip_mask(0x104204, 52)) == 1065476); assert(unsigned(flip_mask(0x104208, 52)) == 1065480); assert(unsigned(flip_mask(0x10420c, 52)) == 1065484); assert(unsigned(flip_mask(0x104210, 52)) == 1065488); assert(unsigned(flip_mask(0x104214, 52)) == 1065492); assert(unsigned(flip_mask(0x104218, 52)) == 1065496); assert(unsigned(flip_mask(0x10421c, 52)) == 1065500); assert(unsigned(flip_mask(0x104220, 52)) == 1065504); assert(unsigned(flip_mask(0x104224, 52)) == 1065508); assert(unsigned(flip_mask(0x104228, 52)) == 1065512); assert(unsigned(flip_mask(0x10422c, 52)) == 1065516); assert(unsigned(flip_mask(0x104230, 52)) == 1065520); assert(unsigned(flip_mask(0x104234, 52)) == 1065524); assert(unsigned(flip_mask(0x104238, 52)) == 1065528); assert(unsigned(flip_mask(0x10423c, 52)) == 1065532); assert(unsigned(flip_mask(0x104240, 52)) == 1065536); assert(unsigned(flip_mask(0x104244, 52)) == 1065540); assert(unsigned(flip_mask(0x104248, 52)) == 1065544); assert(unsigned(flip_mask(0x104250, 52)) == 1065552); assert(unsigned(flip_mask(0x104258, 52)) == 1065560); assert(unsigned(flip_mask(0x104260, 52)) == 1065568); assert(unsigned(flip_mask(0x104268, 52)) == 1065576); assert(unsigned(flip_mask(0x104270, 52)) == 1065584); assert(unsigned(flip_mask(0x104278, 52)) == 1065592); assert(unsigned(flip_mask(0x10427c, 52)) == 1065596); assert(unsigned(flip_mask(0x104280, 52)) == 1065600); assert(unsigned(flip_mask(0x104284, 52)) == 1065604); assert(unsigned(flip_mask(0x1042b8, 52)) == 1065656); assert(unsigned(flip_mask(0x1042bc, 52)) == 1065660); assert(unsigned(flip_mask(0x1042d4, 52)) == 1065684); assert(unsigned(flip_mask(0x1042e0, 52)) == 1065696); assert(unsigned(flip_mask(0x104300, 52)) == 1065728); assert(unsigned(flip_mask(0x104308, 52)) == 1065736); assert(unsigned(flip_mask(0x104310, 52)) == 1065744); assert(unsigned(flip_mask(0x104320, 52)) == 1065760); assert(unsigned(flip_mask(0x104328, 52)) == 1065768); assert(unsigned(flip_mask(0x104330, 52)) == 1065776); assert(unsigned(flip_mask(0x104338, 52)) == 1065784); assert(unsigned(flip_mask(0x104340, 52)) == 1065792); assert(unsigned(flip_mask(0x104360, 52)) == 1065824); assert(unsigned(flip_mask(0x104410, 52)) == 1066000); assert(unsigned(flip_mask(0x104418, 52)) == 1066008); assert(unsigned(flip_mask(0x104420, 52)) == 1066016); assert(unsigned(flip_mask(0x104428, 52)) == 1066024); assert(unsigned(flip_mask(0x1045a0, 52)) == 1066400); assert(unsigned(flip_mask(0x1045a4, 52)) == 1066404); assert(unsigned(flip_mask(0x1045b0, 52)) == 1066416); assert(unsigned(flip_mask(0x1045b8, 52)) == 1066424); assert(unsigned(flip_mask(0x1045c0, 52)) == 1066432); assert(unsigned(flip_mask(0x1045c4, 52)) == 1066436); assert(unsigned(flip_mask(0x1045c8, 52)) == 1066440); assert(unsigned(flip_mask(0x1045d0, 52)) == 1066448); assert(unsigned(flip_mask(0x1045d8, 52)) == 1066456); assert(unsigned(flip_mask(0x1045e0, 52)) == 1066464); assert(unsigned(flip_mask(0x1045e8, 52)) == 1066472); assert(unsigned(flip_mask(0x1045f0, 52)) == 1066480); assert(unsigned(flip_mask(0x1045f8, 52)) == 1066488); assert(unsigned(flip_mask(0x104600, 52)) == 1066496); assert(unsigned(flip_mask(0x104608, 52)) == 1066504); assert(unsigned(flip_mask(0x104610, 52)) == 1066512); assert(unsigned(flip_mask(0x104618, 52)) == 1066520); assert(unsigned(flip_mask(0x104620, 52)) == 1066528); assert(unsigned(flip_mask(0x104628, 52)) == 1066536); assert(unsigned(flip_mask(0x104630, 52)) == 1066544); assert(unsigned(flip_mask(0x104638, 52)) == 1066552); assert(unsigned(flip_mask(0x104640, 52)) == 1066560); assert(unsigned(flip_mask(0x104648, 52)) == 1066568); assert(unsigned(flip_mask(0x104650, 52)) == 1066576); assert(unsigned(flip_mask(0x104658, 52)) == 1066584); assert(unsigned(flip_mask(0x104660, 52)) == 1066592); assert(unsigned(flip_mask(0x104668, 52)) == 1066600); assert(unsigned(flip_mask(0x104670, 52)) == 1066608); assert(unsigned(flip_mask(0x104678, 52)) == 1066616); assert(unsigned(flip_mask(0x104680, 52)) == 1066624); assert(unsigned(flip_mask(0x104688, 52)) == 1066632); assert(unsigned(flip_mask(0x104690, 52)) == 1066640); assert(unsigned(flip_mask(0x1046a0, 52)) == 1066656); assert(unsigned(flip_mask(0x1046a8, 52)) == 1066664); assert(unsigned(flip_mask(0x1046b0, 52)) == 1066672); assert(unsigned(flip_mask(0x1046b8, 52)) == 1066680); assert(unsigned(flip_mask(0x1046c0, 52)) == 1066688); assert(unsigned(flip_mask(0x1046c8, 52)) == 1066696); assert(unsigned(flip_mask(0x1046d0, 52)) == 1066704); assert(unsigned(flip_mask(0x1046d8, 52)) == 1066712); assert(unsigned(flip_mask(0x1046e0, 52)) == 1066720); assert(unsigned(flip_mask(0x1046e8, 52)) == 1066728); assert(unsigned(flip_mask(0x1046f0, 52)) == 1066736); assert(unsigned(flip_mask(0x1046f8, 52)) == 1066744); assert(unsigned(flip_mask(0x104700, 52)) == 1066752); assert(unsigned(flip_mask(0x104708, 52)) == 1066760); assert(unsigned(flip_mask(0x104710, 52)) == 1066768); assert(unsigned(flip_mask(0x104718, 52)) == 1066776); assert(unsigned(flip_mask(0x104720, 52)) == 1066784); assert(unsigned(flip_mask(0x104728, 52)) == 1066792); assert(unsigned(flip_mask(0x104730, 52)) == 1066800); assert(unsigned(flip_mask(0x104738, 52)) == 1066808); assert(unsigned(flip_mask(0x104740, 52)) == 1066816); assert(unsigned(flip_mask(0x104d50, 52)) == 1068368); assert(unsigned(flip_mask(0x104d54, 52)) == 1068372); assert(unsigned(flip_mask(0x104d58, 52)) == 1068376); assert(unsigned(flip_mask(0x104d5c, 52)) == 1068380); assert(unsigned(flip_mask(0x104d60, 52)) == 1068384); assert(unsigned(flip_mask(0x104d64, 52)) == 1068388); assert(unsigned(flip_mask(0x104d68, 52)) == 1068392); assert(unsigned(flip_mask(0x104d6c, 52)) == 1068396); assert(unsigned(flip_mask(0x104d70, 52)) == 1068400); assert(unsigned(flip_mask(0x104d74, 52)) == 1068404); assert(unsigned(flip_mask(0x104d78, 52)) == 1068408); assert(unsigned(flip_mask(0x104d7c, 52)) == 1068412); assert(unsigned(flip_mask(0x104d80, 52)) == 1068416); assert(unsigned(flip_mask(0x104d84, 52)) == 1068420); assert(unsigned(flip_mask(0x104d88, 52)) == 1068424); assert(unsigned(flip_mask(0x104d8c, 52)) == 1068428); assert(unsigned(flip_mask(0x104d90, 52)) == 1068432); assert(unsigned(flip_mask(0x104d94, 52)) == 1068436); assert(unsigned(flip_mask(0x104d98, 52)) == 1068440); assert(unsigned(flip_mask(0x104d9c, 52)) == 1068444); assert(unsigned(flip_mask(0x104da0, 52)) == 1068448); assert(unsigned(flip_mask(0x104da4, 52)) == 1068452); assert(unsigned(flip_mask(0x104da8, 52)) == 1068456); assert(unsigned(flip_mask(0x104dac, 52)) == 1068460); assert(unsigned(flip_mask(0x104db0, 52)) == 1068464); assert(unsigned(flip_mask(0x104db4, 52)) == 1068468); assert(unsigned(flip_mask(0x104db8, 52)) == 1068472); assert(unsigned(flip_mask(0x104dbc, 52)) == 1068476); assert(unsigned(flip_mask(0x104dc0, 52)) == 1068480); assert(unsigned(flip_mask(0x104dc8, 52)) == 1068488); assert(unsigned(flip_mask(0x104dcc, 52)) == 1068492); assert(unsigned(flip_mask(0x104dd0, 52)) == 1068496); assert(unsigned(flip_mask(0x104dd4, 52)) == 1068500); assert(unsigned(flip_mask(0x104dd8, 52)) == 1068504); assert(unsigned(flip_mask(0x104ddc, 52)) == 1068508); assert(unsigned(flip_mask(0x104de0, 52)) == 1068512); assert(unsigned(flip_mask(0x104de4, 52)) == 1068516); assert(unsigned(flip_mask(0x104de8, 52)) == 1068520); assert(unsigned(flip_mask(0x104df4, 52)) == 1068532); assert(unsigned(flip_mask(0x104df8, 52)) == 1068536); assert(unsigned(flip_mask(0x104dfc, 52)) == 1068540); assert(unsigned(flip_mask(0x104e00, 52)) == 1068544); assert(unsigned(flip_mask(0x104e04, 52)) == 1068548); assert(unsigned(flip_mask(0x104e08, 52)) == 1068552); assert(unsigned(flip_mask(0x104e0c, 52)) == 1068556); assert(unsigned(flip_mask(0x104e10, 52)) == 1068560); assert(unsigned(flip_mask(0x104e14, 52)) == 1068564); assert(unsigned(flip_mask(0x104e18, 52)) == 1068568); assert(unsigned(flip_mask(0x104e1c, 52)) == 1068572); assert(unsigned(flip_mask(0x104e20, 52)) == 1068576); assert(unsigned(flip_mask(0x104e24, 52)) == 1068580); assert(unsigned(flip_mask(0x104e28, 52)) == 1068584); assert(unsigned(flip_mask(0x104e2c, 52)) == 1068588); assert(unsigned(flip_mask(0x104e30, 52)) == 1068592); assert(unsigned(flip_mask(0x104e34, 52)) == 1068596); assert(unsigned(flip_mask(0x104e38, 52)) == 1068600); assert(unsigned(flip_mask(0x104e3c, 52)) == 1068604); assert(unsigned(flip_mask(0x104e40, 52)) == 1068608); assert(unsigned(flip_mask(0x104e44, 52)) == 1068612); assert(unsigned(flip_mask(0x104e48, 52)) == 1068616); assert(unsigned(flip_mask(0x104e4c, 52)) == 1068620); assert(unsigned(flip_mask(0x104e50, 52)) == 1068624); assert(unsigned(flip_mask(0x104e54, 52)) == 1068628); assert(unsigned(flip_mask(0x104e58, 52)) == 1068632); assert(unsigned(flip_mask(0x104e5c, 52)) == 1068636); assert(unsigned(flip_mask(0x104e60, 52)) == 1068640); assert(unsigned(flip_mask(0x104e64, 52)) == 1068644); assert(unsigned(flip_mask(0x104e68, 52)) == 1068648); assert(unsigned(flip_mask(0x104e6c, 52)) == 1068652); assert(unsigned(flip_mask(0x104e70, 52)) == 1068656); assert(unsigned(flip_mask(0x104e74, 52)) == 1068660); assert(unsigned(flip_mask(0x104e78, 52)) == 1068664); assert(unsigned(flip_mask(0x104e7c, 52)) == 1068668); assert(unsigned(flip_mask(0x104e80, 52)) == 1068672); assert(unsigned(flip_mask(0x104e84, 52)) == 1068676); assert(unsigned(flip_mask(0x104e88, 52)) == 1068680); assert(unsigned(flip_mask(0x104e8c, 52)) == 1068684); assert(unsigned(flip_mask(0x104e90, 52)) == 1068688); assert(unsigned(flip_mask(0x104e94, 52)) == 1068692); assert(unsigned(flip_mask(0x104e98, 52)) == 1068696); assert(unsigned(flip_mask(0x104e9c, 52)) == 1068700); assert(unsigned(flip_mask(0x104ea0, 52)) == 1068704); assert(unsigned(flip_mask(0x104ea4, 52)) == 1068708); assert(unsigned(flip_mask(0x104ea8, 52)) == 1068712); assert(unsigned(flip_mask(0x104eac, 52)) == 1068716); assert(unsigned(flip_mask(0x104eb0, 52)) == 1068720); assert(unsigned(flip_mask(0x104eb4, 52)) == 1068724); assert(unsigned(flip_mask(0x104eb8, 52)) == 1068728); assert(unsigned(flip_mask(0x104ebc, 52)) == 1068732); assert(unsigned(flip_mask(0x104ec0, 52)) == 1068736); assert(unsigned(flip_mask(0x104ec4, 52)) == 1068740); assert(unsigned(flip_mask(0x104ec8, 52)) == 1068744); assert(unsigned(flip_mask(0x104ecc, 52)) == 1068748); assert(unsigned(flip_mask(0x104ed0, 52)) == 1068752); assert(unsigned(flip_mask(0x104ed4, 52)) == 1068756); assert(unsigned(flip_mask(0x104ed8, 52)) == 1068760); assert(unsigned(flip_mask(0x104edc, 52)) == 1068764); assert(unsigned(flip_mask(0x104ee0, 52)) == 1068768); assert(unsigned(flip_mask(0x104ee4, 52)) == 1068772); assert(unsigned(flip_mask(0x104ef4, 52)) == 1068788); assert(unsigned(flip_mask(0x104ef8, 52)) == 1068792); assert(unsigned(flip_mask(0x104efc, 52)) == 1068796); assert(unsigned(flip_mask(0x104f00, 52)) == 1068800); assert(unsigned(flip_mask(0x104f04, 52)) == 1068804); assert(unsigned(flip_mask(0x104f08, 52)) == 1068808); assert(unsigned(flip_mask(0x104f0c, 52)) == 1068812); assert(unsigned(flip_mask(0x104f10, 52)) == 1068816); assert(unsigned(flip_mask(0x104f14, 52)) == 1068820); assert(unsigned(flip_mask(0x104f20, 52)) == 1068832); assert(unsigned(flip_mask(0x104f24, 52)) == 1068836); assert(unsigned(flip_mask(0x104f28, 52)) == 1068840); assert(unsigned(flip_mask(0x104f2c, 52)) == 1068844); assert(unsigned(flip_mask(0x104f3c, 52)) == 1068860); assert(unsigned(flip_mask(0x104f40, 52)) == 1068864); assert(unsigned(flip_mask(0x104f44, 52)) == 1068868); assert(unsigned(flip_mask(0x104f48, 52)) == 1068872); assert(unsigned(flip_mask(0x104f4c, 52)) == 1068876); assert(unsigned(flip_mask(0x104f50, 52)) == 1068880); assert(unsigned(flip_mask(0x104f54, 52)) == 1068884); assert(unsigned(flip_mask(0x104f58, 52)) == 1068888); assert(unsigned(flip_mask(0x104f5c, 52)) == 1068892); assert(unsigned(flip_mask(0x104f60, 52)) == 1068896); assert(unsigned(flip_mask(0x104f64, 52)) == 1068900); assert(unsigned(flip_mask(0x104f68, 52)) == 1068904); assert(unsigned(flip_mask(0x104f6c, 52)) == 1068908); assert(unsigned(flip_mask(0x104f70, 52)) == 1068912); assert(unsigned(flip_mask(0x104f74, 52)) == 1068916); assert(unsigned(flip_mask(0x104f78, 52)) == 1068920); assert(unsigned(flip_mask(0x104f7c, 52)) == 1068924); assert(unsigned(flip_mask(0x104f80, 52)) == 1068928); assert(unsigned(flip_mask(0x104f84, 52)) == 1068932); assert(unsigned(flip_mask(0x104f88, 52)) == 1068936); assert(unsigned(flip_mask(0x104f8c, 52)) == 1068940); assert(unsigned(flip_mask(0x104f90, 52)) == 1068944); assert(unsigned(flip_mask(0x104f94, 52)) == 1068948); assert(unsigned(flip_mask(0x104f98, 52)) == 1068952); assert(unsigned(flip_mask(0x104f9c, 52)) == 1068956); assert(unsigned(flip_mask(0x104fa0, 52)) == 1068960); assert(unsigned(flip_mask(0x104fa4, 52)) == 1068964); assert(unsigned(flip_mask(0x104fa8, 52)) == 1068968); assert(unsigned(flip_mask(0x104fac, 52)) == 1068972); assert(unsigned(flip_mask(0x104fb0, 52)) == 1068976); assert(unsigned(flip_mask(0x104fb4, 52)) == 1068980); assert(unsigned(flip_mask(0x104fb8, 52)) == 1068984); assert(unsigned(flip_mask(0x104fbc, 52)) == 1068988); assert(unsigned(flip_mask(0x104fc0, 52)) == 1068992); assert(unsigned(flip_mask(0x104fc4, 52)) == 1068996); assert(unsigned(flip_mask(0x104fc8, 52)) == 1069000); assert(unsigned(flip_mask(0x104fcc, 52)) == 1069004); assert(unsigned(flip_mask(0x104fd0, 52)) == 1069008); assert(unsigned(flip_mask(0x104fd4, 52)) == 1069012); assert(unsigned(flip_mask(0x104fd8, 52)) == 1069016); assert(unsigned(flip_mask(0x104fdc, 52)) == 1069020); assert(unsigned(flip_mask(0x104fe0, 52)) == 1069024); assert(unsigned(flip_mask(0x104fe4, 52)) == 1069028); assert(unsigned(flip_mask(0x104fe8, 52)) == 1069032); assert(unsigned(flip_mask(0x104fec, 52)) == 1069036); assert(unsigned(flip_mask(0x104ff0, 52)) == 1069040); assert(unsigned(flip_mask(0x104ff4, 52)) == 1069044); assert(unsigned(flip_mask(0x104ff8, 52)) == 1069048); assert(unsigned(flip_mask(0x105008, 52)) == 1069064); assert(unsigned(flip_mask(0x10500c, 52)) == 1069068); assert(unsigned(flip_mask(0x105010, 52)) == 1069072); assert(unsigned(flip_mask(0x105014, 52)) == 1069076); assert(unsigned(flip_mask(0x105018, 52)) == 1069080); assert(unsigned(flip_mask(0x10501c, 52)) == 1069084); assert(unsigned(flip_mask(0x105020, 52)) == 1069088); assert(unsigned(flip_mask(0x105024, 52)) == 1069092); assert(unsigned(flip_mask(0x105028, 52)) == 1069096); assert(unsigned(flip_mask(0x105034, 52)) == 1069108); assert(unsigned(flip_mask(0x105038, 52)) == 1069112); assert(unsigned(flip_mask(0x10503c, 52)) == 1069116); assert(unsigned(flip_mask(0x105040, 52)) == 1069120); assert(unsigned(flip_mask(0x105050, 52)) == 1069136); assert(unsigned(flip_mask(0x105054, 52)) == 1069140); assert(unsigned(flip_mask(0x105058, 52)) == 1069144); assert(unsigned(flip_mask(0x10505c, 52)) == 1069148); assert(unsigned(flip_mask(0x105060, 52)) == 1069152); assert(unsigned(flip_mask(0x105064, 52)) == 1069156); assert(unsigned(flip_mask(0x105068, 52)) == 1069160); assert(unsigned(flip_mask(0x10506c, 52)) == 1069164); assert(unsigned(flip_mask(0x105070, 52)) == 1069168); assert(unsigned(flip_mask(0x105074, 52)) == 1069172); assert(unsigned(flip_mask(0x105078, 52)) == 1069176); assert(unsigned(flip_mask(0x10507c, 52)) == 1069180); assert(unsigned(flip_mask(0x105080, 52)) == 1069184); assert(unsigned(flip_mask(0x105084, 52)) == 1069188); assert(unsigned(flip_mask(0x105088, 52)) == 1069192); assert(unsigned(flip_mask(0x10508c, 52)) == 1069196); assert(unsigned(flip_mask(0x105090, 52)) == 1069200); assert(unsigned(flip_mask(0x105094, 52)) == 1069204); assert(unsigned(flip_mask(0x105098, 52)) == 1069208); assert(unsigned(flip_mask(0x10509c, 52)) == 1069212); assert(unsigned(flip_mask(0x1050a0, 52)) == 1069216); assert(unsigned(flip_mask(0x1050a4, 52)) == 1069220); assert(unsigned(flip_mask(0x1050a8, 52)) == 1069224); assert(unsigned(flip_mask(0x1050ac, 52)) == 1069228); assert(unsigned(flip_mask(0x1050b0, 52)) == 1069232); assert(unsigned(flip_mask(0x1050b4, 52)) == 1069236); assert(unsigned(flip_mask(0x1050b8, 52)) == 1069240); assert(unsigned(flip_mask(0x1050bc, 52)) == 1069244); assert(unsigned(flip_mask(0x1050c0, 52)) == 1069248); assert(unsigned(flip_mask(0x1050c4, 52)) == 1069252); assert(unsigned(flip_mask(0x1050c8, 52)) == 1069256); assert(unsigned(flip_mask(0x1050cc, 52)) == 1069260); assert(unsigned(flip_mask(0x1050d0, 52)) == 1069264); assert(unsigned(flip_mask(0x1050d4, 52)) == 1069268); assert(unsigned(flip_mask(0x1050d8, 52)) == 1069272); assert(unsigned(flip_mask(0x1050dc, 52)) == 1069276); assert(unsigned(flip_mask(0x1050e0, 52)) == 1069280); assert(unsigned(flip_mask(0x1050e4, 52)) == 1069284); assert(unsigned(flip_mask(0x1050e8, 52)) == 1069288); assert(unsigned(flip_mask(0x1050ec, 52)) == 1069292); assert(unsigned(flip_mask(0x1050f0, 52)) == 1069296); assert(unsigned(flip_mask(0x1050f4, 52)) == 1069300); assert(unsigned(flip_mask(0x1050f8, 52)) == 1069304); assert(unsigned(flip_mask(0x1050fc, 52)) == 1069308); assert(unsigned(flip_mask(0x105100, 52)) == 1069312); assert(unsigned(flip_mask(0x105110, 52)) == 1069328); assert(unsigned(flip_mask(0x105114, 52)) == 1069332); assert(unsigned(flip_mask(0x105118, 52)) == 1069336); assert(unsigned(flip_mask(0x10511c, 52)) == 1069340); assert(unsigned(flip_mask(0x105120, 52)) == 1069344); assert(unsigned(flip_mask(0x105124, 52)) == 1069348); assert(unsigned(flip_mask(0x105128, 52)) == 1069352); assert(unsigned(flip_mask(0x105134, 52)) == 1069364); assert(unsigned(flip_mask(0x105138, 52)) == 1069368); assert(unsigned(flip_mask(0x10513c, 52)) == 1069372); assert(unsigned(flip_mask(0x105140, 52)) == 1069376); assert(unsigned(flip_mask(0x105150, 52)) == 1069392); assert(unsigned(flip_mask(0x105154, 52)) == 1069396); assert(unsigned(flip_mask(0x105158, 52)) == 1069400); assert(unsigned(flip_mask(0x10515c, 52)) == 1069404); assert(unsigned(flip_mask(0x105160, 52)) == 1069408); assert(unsigned(flip_mask(0x105164, 52)) == 1069412); assert(unsigned(flip_mask(0x105168, 52)) == 1069416); assert(unsigned(flip_mask(0x10516c, 52)) == 1069420); assert(unsigned(flip_mask(0x105170, 52)) == 1069424); assert(unsigned(flip_mask(0x105174, 52)) == 1069428); assert(unsigned(flip_mask(0x105178, 52)) == 1069432); assert(unsigned(flip_mask(0x10517c, 52)) == 1069436); assert(unsigned(flip_mask(0x105180, 52)) == 1069440); assert(unsigned(flip_mask(0x105184, 52)) == 1069444); assert(unsigned(flip_mask(0x105188, 52)) == 1069448); assert(unsigned(flip_mask(0x10518c, 52)) == 1069452); assert(unsigned(flip_mask(0x105190, 52)) == 1069456); assert(unsigned(flip_mask(0x105194, 52)) == 1069460); assert(unsigned(flip_mask(0x105198, 52)) == 1069464); assert(unsigned(flip_mask(0x10519c, 52)) == 1069468); assert(unsigned(flip_mask(0x1051a0, 52)) == 1069472); assert(unsigned(flip_mask(0x1051a4, 52)) == 1069476); assert(unsigned(flip_mask(0x1051a8, 52)) == 1069480); assert(unsigned(flip_mask(0x1051ac, 52)) == 1069484); assert(unsigned(flip_mask(0x1051b0, 52)) == 1069488); assert(unsigned(flip_mask(0x1051b4, 52)) == 1069492); assert(unsigned(flip_mask(0x1051b8, 52)) == 1069496); assert(unsigned(flip_mask(0x1051bc, 52)) == 1069500); assert(unsigned(flip_mask(0x1051c0, 52)) == 1069504); assert(unsigned(flip_mask(0x1051c4, 52)) == 1069508); assert(unsigned(flip_mask(0x1051c8, 52)) == 1069512); assert(unsigned(flip_mask(0x1051cc, 52)) == 1069516); assert(unsigned(flip_mask(0x1051d0, 52)) == 1069520); assert(unsigned(flip_mask(0x1051d4, 52)) == 1069524); assert(unsigned(flip_mask(0x1051d8, 52)) == 1069528); assert(unsigned(flip_mask(0x1051dc, 52)) == 1069532); assert(unsigned(flip_mask(0x1051e0, 52)) == 1069536); assert(unsigned(flip_mask(0x1051e4, 52)) == 1069540); assert(unsigned(flip_mask(0x1051e8, 52)) == 1069544); assert(unsigned(flip_mask(0x1051ec, 52)) == 1069548); assert(unsigned(flip_mask(0x1051f0, 52)) == 1069552); assert(unsigned(flip_mask(0x1051f4, 52)) == 1069556); assert(unsigned(flip_mask(0x1051f8, 52)) == 1069560); assert(unsigned(flip_mask(0x1051fc, 52)) == 1069564); assert(unsigned(flip_mask(0x105200, 52)) == 1069568); assert(unsigned(flip_mask(0x105208, 52)) == 1069576); assert(unsigned(flip_mask(0x10520c, 52)) == 1069580); assert(unsigned(flip_mask(0x105210, 52)) == 1069584); assert(unsigned(flip_mask(0x105214, 52)) == 1069588); assert(unsigned(flip_mask(0x105218, 52)) == 1069592); assert(unsigned(flip_mask(0x10521c, 52)) == 1069596); assert(unsigned(flip_mask(0x105220, 52)) == 1069600); assert(unsigned(flip_mask(0x105224, 52)) == 1069604); assert(unsigned(flip_mask(0x105228, 52)) == 1069608); assert(unsigned(flip_mask(0x105230, 52)) == 1069616); assert(unsigned(flip_mask(0x105238, 52)) == 1069624); assert(unsigned(flip_mask(0x105240, 52)) == 1069632); assert(unsigned(flip_mask(0x105248, 52)) == 1069640); assert(unsigned(flip_mask(0x10524c, 52)) == 1069644); assert(unsigned(flip_mask(0x105250, 52)) == 1069648); assert(unsigned(flip_mask(0x105254, 52)) == 1069652); assert(unsigned(flip_mask(0x105258, 52)) == 1069656); assert(unsigned(flip_mask(0x10525c, 52)) == 1069660); assert(unsigned(flip_mask(0x105260, 52)) == 1069664); assert(unsigned(flip_mask(0x105264, 52)) == 1069668); assert(unsigned(flip_mask(0x105268, 52)) == 1069672); assert(unsigned(flip_mask(0x10526c, 52)) == 1069676); assert(unsigned(flip_mask(0x105270, 52)) == 1069680); assert(unsigned(flip_mask(0x105274, 52)) == 1069684); assert(unsigned(flip_mask(0x105278, 52)) == 1069688); assert(unsigned(flip_mask(0x10527c, 52)) == 1069692); assert(unsigned(flip_mask(0x10532c, 52)) == 1069868); assert(unsigned(flip_mask(0x105330, 52)) == 1069872); assert(unsigned(flip_mask(0x105334, 52)) == 1069876); assert(unsigned(flip_mask(0x105338, 52)) == 1069880); assert(unsigned(flip_mask(0x10533c, 52)) == 1069884); assert(unsigned(flip_mask(0x105340, 52)) == 1069888); assert(unsigned(flip_mask(0x105344, 52)) == 1069892); assert(unsigned(flip_mask(0x105348, 52)) == 1069896); assert(unsigned(flip_mask(0x10534c, 52)) == 1069900); assert(unsigned(flip_mask(0x105350, 52)) == 1069904); assert(unsigned(flip_mask(0x105354, 52)) == 1069908); assert(unsigned(flip_mask(0x105358, 52)) == 1069912); assert(unsigned(flip_mask(0x10535c, 52)) == 1069916); assert(unsigned(flip_mask(0x105360, 52)) == 1069920); assert(unsigned(flip_mask(0x105364, 52)) == 1069924); assert(unsigned(flip_mask(0x105368, 52)) == 1069928); assert(unsigned(flip_mask(0x10536c, 52)) == 1069932); assert(unsigned(flip_mask(0x10537c, 52)) == 1069948); assert(unsigned(flip_mask(0x105380, 52)) == 1069952); assert(unsigned(flip_mask(0x105384, 52)) == 1069956); assert(unsigned(flip_mask(0x105388, 52)) == 1069960); assert(unsigned(flip_mask(0x10538c, 52)) == 1069964); assert(unsigned(flip_mask(0x105390, 52)) == 1069968); assert(unsigned(flip_mask(0x1053a0, 52)) == 1069984); assert(unsigned(flip_mask(0x1053a4, 52)) == 1069988); assert(unsigned(flip_mask(0x1053a8, 52)) == 1069992); assert(unsigned(flip_mask(0x1053ac, 52)) == 1069996); assert(unsigned(flip_mask(0x1053b0, 52)) == 1070000); assert(unsigned(flip_mask(0x1053b4, 52)) == 1070004); assert(unsigned(flip_mask(0x10544c, 52)) == 1070156); assert(unsigned(flip_mask(0x105450, 52)) == 1070160); assert(unsigned(flip_mask(0x105454, 52)) == 1070164); assert(unsigned(flip_mask(0x105458, 52)) == 1070168); assert(unsigned(flip_mask(0x10545c, 52)) == 1070172); assert(unsigned(flip_mask(0x105468, 52)) == 1070184); assert(unsigned(flip_mask(0x10546c, 52)) == 1070188); assert(unsigned(flip_mask(0x105470, 52)) == 1070192); assert(unsigned(flip_mask(0x105474, 52)) == 1070196); assert(unsigned(flip_mask(0x105478, 52)) == 1070200); assert(unsigned(flip_mask(0x10547c, 52)) == 1070204); assert(unsigned(flip_mask(0x105480, 52)) == 1070208); assert(unsigned(flip_mask(0x105484, 52)) == 1070212); assert(unsigned(flip_mask(0x105490, 52)) == 1070224); assert(unsigned(flip_mask(0x105494, 52)) == 1070228); assert(unsigned(flip_mask(0x105498, 52)) == 1070232); assert(unsigned(flip_mask(0x1054a0, 52)) == 1070240); assert(unsigned(flip_mask(0x1054a8, 52)) == 1070248); assert(unsigned(flip_mask(0x1054ac, 52)) == 1070252); assert(unsigned(flip_mask(0x1054b0, 52)) == 1070256); assert(unsigned(flip_mask(0x1054b4, 52)) == 1070260); assert(unsigned(flip_mask(0x1054b8, 52)) == 1070264); assert(unsigned(flip_mask(0x1054bc, 52)) == 1070268); assert(unsigned(flip_mask(0x1054c0, 52)) == 1070272); assert(unsigned(flip_mask(0x1054c4, 52)) == 1070276); assert(unsigned(flip_mask(0x1054c8, 52)) == 1070280); assert(unsigned(flip_mask(0x1054cc, 52)) == 1070284); assert(unsigned(flip_mask(0x1054d0, 52)) == 1070288); assert(unsigned(flip_mask(0x1054d4, 52)) == 1070292); assert(unsigned(flip_mask(0x1054d8, 52)) == 1070296); assert(unsigned(flip_mask(0x1054dc, 52)) == 1070300); assert(unsigned(flip_mask(0x1054e0, 52)) == 1070304); assert(unsigned(flip_mask(0x1054e4, 52)) == 1070308); assert(unsigned(flip_mask(0x1054e8, 52)) == 1070312); assert(unsigned(flip_mask(0x1054f0, 52)) == 1070320); assert(unsigned(flip_mask(0x1054f8, 52)) == 1070328); assert(unsigned(flip_mask(0x105500, 52)) == 1070336); assert(unsigned(flip_mask(0x105508, 52)) == 1070344); assert(unsigned(flip_mask(0x10550c, 52)) == 1070348); assert(unsigned(flip_mask(0x105510, 52)) == 1070352); assert(unsigned(flip_mask(0x105514, 52)) == 1070356); assert(unsigned(flip_mask(0x105518, 52)) == 1070360); assert(unsigned(flip_mask(0x10551c, 52)) == 1070364); assert(unsigned(flip_mask(0x105520, 52)) == 1070368); assert(unsigned(flip_mask(0x105524, 52)) == 1070372); assert(unsigned(flip_mask(0x105528, 52)) == 1070376); assert(unsigned(flip_mask(0x10552c, 52)) == 1070380); assert(unsigned(flip_mask(0x105530, 52)) == 1070384); assert(unsigned(flip_mask(0x105534, 52)) == 1070388); assert(unsigned(flip_mask(0x105538, 52)) == 1070392); assert(unsigned(flip_mask(0x10553c, 52)) == 1070396); assert(unsigned(flip_mask(0x105540, 52)) == 1070400); assert(unsigned(flip_mask(0x105544, 52)) == 1070404); assert(unsigned(flip_mask(0x105548, 52)) == 1070408); assert(unsigned(flip_mask(0x10554c, 52)) == 1070412); assert(unsigned(flip_mask(0x105550, 52)) == 1070416); assert(unsigned(flip_mask(0x105554, 52)) == 1070420); assert(unsigned(flip_mask(0x105558, 52)) == 1070424); assert(unsigned(flip_mask(0x105560, 52)) == 1070432); assert(unsigned(flip_mask(0x105568, 52)) == 1070440); assert(unsigned(flip_mask(0x105570, 52)) == 1070448); assert(unsigned(flip_mask(0x105574, 52)) == 1070452); assert(unsigned(flip_mask(0x105578, 52)) == 1070456); assert(unsigned(flip_mask(0x10557c, 52)) == 1070460); assert(unsigned(flip_mask(0x105580, 52)) == 1070464); assert(unsigned(flip_mask(0x105584, 52)) == 1070468); assert(unsigned(flip_mask(0x105588, 52)) == 1070472); assert(unsigned(flip_mask(0x10558c, 52)) == 1070476); assert(unsigned(flip_mask(0x105590, 52)) == 1070480); assert(unsigned(flip_mask(0x105594, 52)) == 1070484); assert(unsigned(flip_mask(0x105598, 52)) == 1070488); assert(unsigned(flip_mask(0x10559c, 52)) == 1070492); assert(unsigned(flip_mask(0x1055a0, 52)) == 1070496); assert(unsigned(flip_mask(0x1055a4, 52)) == 1070500); assert(unsigned(flip_mask(0x1055a8, 52)) == 1070504); assert(unsigned(flip_mask(0x1055ac, 52)) == 1070508); assert(unsigned(flip_mask(0x1055b0, 52)) == 1070512); assert(unsigned(flip_mask(0x1055b4, 52)) == 1070516); assert(unsigned(flip_mask(0x1055b8, 52)) == 1070520); assert(unsigned(flip_mask(0x1055bc, 52)) == 1070524); assert(unsigned(flip_mask(0x1055c0, 52)) == 1070528); assert(unsigned(flip_mask(0x1055c4, 52)) == 1070532); assert(unsigned(flip_mask(0x1055c8, 52)) == 1070536); assert(unsigned(flip_mask(0x1055cc, 52)) == 1070540); assert(unsigned(flip_mask(0x1055d0, 52)) == 1070544); assert(unsigned(flip_mask(0x1055dc, 52)) == 1070556); assert(unsigned(flip_mask(0x1055e0, 52)) == 1070560); assert(unsigned(flip_mask(0x1055e8, 52)) == 1070568); assert(unsigned(flip_mask(0x1055ec, 52)) == 1070572); assert(unsigned(flip_mask(0x1055f0, 52)) == 1070576); assert(unsigned(flip_mask(0x1055f4, 52)) == 1070580); assert(unsigned(flip_mask(0x1055f8, 52)) == 1070584); assert(unsigned(flip_mask(0x1055fc, 52)) == 1070588); assert(unsigned(flip_mask(0x105610, 52)) == 1070608); assert(unsigned(flip_mask(0x105614, 52)) == 1070612); assert(unsigned(flip_mask(0x105644, 52)) == 1070660); assert(unsigned(flip_mask(0x105648, 52)) == 1070664); assert(unsigned(flip_mask(0x10564c, 52)) == 1070668); assert(unsigned(flip_mask(0x10568c, 52)) == 1070732); assert(unsigned(flip_mask(0x105690, 52)) == 1070736); assert(unsigned(flip_mask(0x105694, 52)) == 1070740); assert(unsigned(flip_mask(0x105698, 52)) == 1070744); assert(unsigned(flip_mask(0x10569c, 52)) == 1070748); assert(unsigned(flip_mask(0x1056a0, 52)) == 1070752); assert(unsigned(flip_mask(0x1056a4, 52)) == 1070756); assert(unsigned(flip_mask(0x1056a8, 52)) == 1070760); assert(unsigned(flip_mask(0x1056ac, 52)) == 1070764); assert(unsigned(flip_mask(0x1056b0, 52)) == 1070768); assert(unsigned(flip_mask(0x1056b4, 52)) == 1070772); assert(unsigned(flip_mask(0x1056b8, 52)) == 1070776); assert(unsigned(flip_mask(0x1056bc, 52)) == 1070780); assert(unsigned(flip_mask(0x1056c0, 52)) == 1070784); assert(unsigned(flip_mask(0x1056c4, 52)) == 1070788); assert(unsigned(flip_mask(0x1056c8, 52)) == 1070792); assert(unsigned(flip_mask(0x1056cc, 52)) == 1070796); assert(unsigned(flip_mask(0x1056d0, 52)) == 1070800); assert(unsigned(flip_mask(0x1056d4, 52)) == 1070804); assert(unsigned(flip_mask(0x1056d8, 52)) == 1070808); assert(unsigned(flip_mask(0x1056dc, 52)) == 1070812); assert(unsigned(flip_mask(0x1056e0, 52)) == 1070816); assert(unsigned(flip_mask(0x1056e4, 52)) == 1070820); assert(unsigned(flip_mask(0x1056e8, 52)) == 1070824); assert(unsigned(flip_mask(0x1056ec, 52)) == 1070828); assert(unsigned(flip_mask(0x1056f0, 52)) == 1070832); assert(unsigned(flip_mask(0x1056f4, 52)) == 1070836); assert(unsigned(flip_mask(0x1056f8, 52)) == 1070840); assert(unsigned(flip_mask(0x1056fc, 52)) == 1070844); assert(unsigned(flip_mask(0x105700, 52)) == 1070848); assert(unsigned(flip_mask(0x105704, 52)) == 1070852); assert(unsigned(flip_mask(0x105708, 52)) == 1070856); assert(unsigned(flip_mask(0x10570c, 52)) == 1070860); assert(unsigned(flip_mask(0x105710, 52)) == 1070864); assert(unsigned(flip_mask(0x105714, 52)) == 1070868); assert(unsigned(flip_mask(0x105718, 52)) == 1070872); assert(unsigned(flip_mask(0x10571c, 52)) == 1070876); assert(unsigned(flip_mask(0x105720, 52)) == 1070880); assert(unsigned(flip_mask(0x105724, 52)) == 1070884); assert(unsigned(flip_mask(0x105728, 52)) == 1070888); assert(unsigned(flip_mask(0x10572c, 52)) == 1070892); assert(unsigned(flip_mask(0x105730, 52)) == 1070896); assert(unsigned(flip_mask(0x105734, 52)) == 1070900); assert(unsigned(flip_mask(0x105738, 52)) == 1070904); assert(unsigned(flip_mask(0x10573c, 52)) == 1070908); assert(unsigned(flip_mask(0x105740, 52)) == 1070912); assert(unsigned(flip_mask(0x105744, 52)) == 1070916); assert(unsigned(flip_mask(0x105748, 52)) == 1070920); assert(unsigned(flip_mask(0x10574c, 52)) == 1070924); assert(unsigned(flip_mask(0x105750, 52)) == 1070928); assert(unsigned(flip_mask(0x105754, 52)) == 1070932); assert(unsigned(flip_mask(0x105758, 52)) == 1070936); assert(unsigned(flip_mask(0x10575c, 52)) == 1070940); assert(unsigned(flip_mask(0x105760, 52)) == 1070944); assert(unsigned(flip_mask(0x105764, 52)) == 1070948); assert(unsigned(flip_mask(0x105768, 52)) == 1070952); assert(unsigned(flip_mask(0x10576c, 52)) == 1070956); assert(unsigned(flip_mask(0x105770, 52)) == 1070960); assert(unsigned(flip_mask(0x105774, 52)) == 1070964); assert(unsigned(flip_mask(0x105778, 52)) == 1070968); assert(unsigned(flip_mask(0x105780, 52)) == 1070976); assert(unsigned(flip_mask(0x1057a8, 52)) == 1071016); assert(unsigned(flip_mask(0x1057b0, 52)) == 1071024); assert(unsigned(flip_mask(0x1057b8, 52)) == 1071032); assert(unsigned(flip_mask(0x1057c0, 52)) == 1071040); assert(unsigned(flip_mask(0x1057c8, 52)) == 1071048); assert(unsigned(flip_mask(0x1057d0, 52)) == 1071056); assert(unsigned(flip_mask(0x1057d8, 52)) == 1071064); assert(unsigned(flip_mask(0x1057e0, 52)) == 1071072); assert(unsigned(flip_mask(0x1057e8, 52)) == 1071080); assert(unsigned(flip_mask(0x1057f0, 52)) == 1071088); assert(unsigned(flip_mask(0x1057f8, 52)) == 1071096); assert(unsigned(flip_mask(0x105800, 52)) == 1071104); assert(unsigned(flip_mask(0x105808, 52)) == 1071112); assert(unsigned(flip_mask(0x105810, 52)) == 1071120); assert(unsigned(flip_mask(0x105818, 52)) == 1071128); assert(unsigned(flip_mask(0x105820, 52)) == 1071136); assert(unsigned(flip_mask(0x105828, 52)) == 1071144); assert(unsigned(flip_mask(0x105830, 52)) == 1071152); assert(unsigned(flip_mask(0x105838, 52)) == 1071160); assert(unsigned(flip_mask(0x105840, 52)) == 1071168); assert(unsigned(flip_mask(0x105848, 52)) == 1071176); assert(unsigned(flip_mask(0x105850, 52)) == 1071184); assert(unsigned(flip_mask(0x105858, 52)) == 1071192); assert(unsigned(flip_mask(0x10585c, 52)) == 1071196); assert(unsigned(flip_mask(0x105860, 52)) == 1071200); assert(unsigned(flip_mask(0x105864, 52)) == 1071204); assert(unsigned(flip_mask(0x105868, 52)) == 1071208); assert(unsigned(flip_mask(0x10586c, 52)) == 1071212); assert(unsigned(flip_mask(0x105870, 52)) == 1071216); assert(unsigned(flip_mask(0x105874, 52)) == 1071220); assert(unsigned(flip_mask(0x105878, 52)) == 1071224); assert(unsigned(flip_mask(0x10587c, 52)) == 1071228); assert(unsigned(flip_mask(0x105880, 52)) == 1071232); assert(unsigned(flip_mask(0x105884, 52)) == 1071236); assert(unsigned(flip_mask(0x105888, 52)) == 1071240); assert(unsigned(flip_mask(0x10588c, 52)) == 1071244); assert(unsigned(flip_mask(0x105890, 52)) == 1071248); assert(unsigned(flip_mask(0x105894, 52)) == 1071252); assert(unsigned(flip_mask(0x105898, 52)) == 1071256); assert(unsigned(flip_mask(0x10589c, 52)) == 1071260); assert(unsigned(flip_mask(0x1058a0, 52)) == 1071264); assert(unsigned(flip_mask(0x1058a4, 52)) == 1071268); assert(unsigned(flip_mask(0x1058a8, 52)) == 1071272); assert(unsigned(flip_mask(0x12000, 52)) == 73728); assert(unsigned(flip_mask(0x13000000, 52)) == 318767104); assert(unsigned(flip_mask(0x1568000, 52)) == 22446080); assert(unsigned(flip_mask(0x1568008, 52)) == 22446088); assert(unsigned(flip_mask(0x1568010, 52)) == 22446096); assert(unsigned(flip_mask(0x1568018, 52)) == 22446104); assert(unsigned(flip_mask(0x1568020, 52)) == 22446112); assert(unsigned(flip_mask(0x1568028, 52)) == 22446120); assert(unsigned(flip_mask(0x1568030, 52)) == 22446128); assert(unsigned(flip_mask(0x1568038, 52)) == 22446136); assert(unsigned(flip_mask(0x1568040, 52)) == 22446144); assert(unsigned(flip_mask(0x1568048, 52)) == 22446152); assert(unsigned(flip_mask(0x1568050, 52)) == 22446160); assert(unsigned(flip_mask(0x1568058, 52)) == 22446168); assert(unsigned(flip_mask(0x1568060, 52)) == 22446176); assert(unsigned(flip_mask(0x1568068, 52)) == 22446184); assert(unsigned(flip_mask(0x1568070, 52)) == 22446192); assert(unsigned(flip_mask(0x1568078, 52)) == 22446200); assert(unsigned(flip_mask(0x1568080, 52)) == 22446208); assert(unsigned(flip_mask(0x1568088, 52)) == 22446216); assert(unsigned(flip_mask(0x1568090, 52)) == 22446224); assert(unsigned(flip_mask(0x1568098, 52)) == 22446232); assert(unsigned(flip_mask(0x15680a0, 52)) == 22446240); assert(unsigned(flip_mask(0x15680a8, 52)) == 22446248); assert(unsigned(flip_mask(0x15680b0, 52)) == 22446256); assert(unsigned(flip_mask(0x15680b8, 52)) == 22446264); assert(unsigned(flip_mask(0x15680c0, 52)) == 22446272); assert(unsigned(flip_mask(0x15680c8, 52)) == 22446280); assert(unsigned(flip_mask(0x15680d0, 52)) == 22446288); assert(unsigned(flip_mask(0x15680d8, 52)) == 22446296); assert(unsigned(flip_mask(0x15680e0, 52)) == 22446304); assert(unsigned(flip_mask(0x15680e8, 52)) == 22446312); assert(unsigned(flip_mask(0x15680f0, 52)) == 22446320); assert(unsigned(flip_mask(0x15680f8, 52)) == 22446328); assert(unsigned(flip_mask(0x1568100, 52)) == 22446336); assert(unsigned(flip_mask(0x1568108, 52)) == 22446344); assert(unsigned(flip_mask(0x1568110, 52)) == 22446352); assert(unsigned(flip_mask(0x1568118, 52)) == 22446360); assert(unsigned(flip_mask(0x1568120, 52)) == 22446368); assert(unsigned(flip_mask(0x1568128, 52)) == 22446376); assert(unsigned(flip_mask(0x1568130, 52)) == 22446384); assert(unsigned(flip_mask(0x1568138, 52)) == 22446392); assert(unsigned(flip_mask(0x1568140, 52)) == 22446400); assert(unsigned(flip_mask(0x1568148, 52)) == 22446408); assert(unsigned(flip_mask(0x1568150, 52)) == 22446416); assert(unsigned(flip_mask(0x1568158, 52)) == 22446424); assert(unsigned(flip_mask(0x1568160, 52)) == 22446432); assert(unsigned(flip_mask(0x1568168, 52)) == 22446440); assert(unsigned(flip_mask(0x1568170, 52)) == 22446448); assert(unsigned(flip_mask(0x1568178, 52)) == 22446456); assert(unsigned(flip_mask(0x1568180, 52)) == 22446464); assert(unsigned(flip_mask(0x1568188, 52)) == 22446472); assert(unsigned(flip_mask(0x1568190, 52)) == 22446480); assert(unsigned(flip_mask(0x1568198, 52)) == 22446488); assert(unsigned(flip_mask(0x15681a0, 52)) == 22446496); assert(unsigned(flip_mask(0x15681a8, 52)) == 22446504); assert(unsigned(flip_mask(0x15681b0, 52)) == 22446512); assert(unsigned(flip_mask(0x15681b8, 52)) == 22446520); assert(unsigned(flip_mask(0x15681c0, 52)) == 22446528); assert(unsigned(flip_mask(0x15681c8, 52)) == 22446536); assert(unsigned(flip_mask(0x15681d0, 52)) == 22446544); assert(unsigned(flip_mask(0x15681d8, 52)) == 22446552); assert(unsigned(flip_mask(0x15681e0, 52)) == 22446560); assert(unsigned(flip_mask(0x15681e8, 52)) == 22446568); assert(unsigned(flip_mask(0x15681f0, 52)) == 22446576); assert(unsigned(flip_mask(0x15681f8, 52)) == 22446584); assert(unsigned(flip_mask(0x1568200, 52)) == 22446592); assert(unsigned(flip_mask(0x1568208, 52)) == 22446600); assert(unsigned(flip_mask(0x1568210, 52)) == 22446608); assert(unsigned(flip_mask(0x1568218, 52)) == 22446616); assert(unsigned(flip_mask(0x1568220, 52)) == 22446624); assert(unsigned(flip_mask(0x1568228, 52)) == 22446632); assert(unsigned(flip_mask(0x1568230, 52)) == 22446640); assert(unsigned(flip_mask(0x1568238, 52)) == 22446648); assert(unsigned(flip_mask(0x1568240, 52)) == 22446656); assert(unsigned(flip_mask(0x1568248, 52)) == 22446664); assert(unsigned(flip_mask(0x1568250, 52)) == 22446672); assert(unsigned(flip_mask(0x1568258, 52)) == 22446680); assert(unsigned(flip_mask(0x1568260, 52)) == 22446688); assert(unsigned(flip_mask(0x1568268, 52)) == 22446696); assert(unsigned(flip_mask(0x1568270, 52)) == 22446704); assert(unsigned(flip_mask(0x1568278, 52)) == 22446712); assert(unsigned(flip_mask(0x1568280, 52)) == 22446720); assert(unsigned(flip_mask(0x1568288, 52)) == 22446728); assert(unsigned(flip_mask(0x1568290, 52)) == 22446736); assert(unsigned(flip_mask(0x1568298, 52)) == 22446744); assert(unsigned(flip_mask(0x15682a0, 52)) == 22446752); assert(unsigned(flip_mask(0x15682a8, 52)) == 22446760); assert(unsigned(flip_mask(0x15682b0, 52)) == 22446768); assert(unsigned(flip_mask(0x15682b8, 52)) == 22446776); assert(unsigned(flip_mask(0x15682c0, 52)) == 22446784); assert(unsigned(flip_mask(0x15682c8, 52)) == 22446792); assert(unsigned(flip_mask(0x15682d0, 52)) == 22446800); assert(unsigned(flip_mask(0x15682d8, 52)) == 22446808); assert(unsigned(flip_mask(0x15682e0, 52)) == 22446816); assert(unsigned(flip_mask(0x15682e8, 52)) == 22446824); assert(unsigned(flip_mask(0x15682f0, 52)) == 22446832); assert(unsigned(flip_mask(0x15682f8, 52)) == 22446840); assert(unsigned(flip_mask(0x1568300, 52)) == 22446848); assert(unsigned(flip_mask(0x1568308, 52)) == 22446856); assert(unsigned(flip_mask(0x1568310, 52)) == 22446864); assert(unsigned(flip_mask(0x1568318, 52)) == 22446872); assert(unsigned(flip_mask(0x1568320, 52)) == 22446880); assert(unsigned(flip_mask(0x1568328, 52)) == 22446888); assert(unsigned(flip_mask(0x1568330, 52)) == 22446896); assert(unsigned(flip_mask(0x1568338, 52)) == 22446904); assert(unsigned(flip_mask(0x1568340, 52)) == 22446912); assert(unsigned(flip_mask(0x1568348, 52)) == 22446920); assert(unsigned(flip_mask(0x1568350, 52)) == 22446928); assert(unsigned(flip_mask(0x1568358, 52)) == 22446936); assert(unsigned(flip_mask(0x1568360, 52)) == 22446944); assert(unsigned(flip_mask(0x1568368, 52)) == 22446952); assert(unsigned(flip_mask(0x1568370, 52)) == 22446960); }