diff options
Diffstat (limited to 'test/builtins/unsigned1.sail')
| -rw-r--r-- | test/builtins/unsigned1.sail | 3005 |
1 files changed, 3005 insertions, 0 deletions
diff --git a/test/builtins/unsigned1.sail b/test/builtins/unsigned1.sail new file mode 100644 index 00000000..1a65a06c --- /dev/null +++ b/test/builtins/unsigned1.sail @@ -0,0 +1,3005 @@ +default Order dec + +$include <exception_basic.sail> +$include <vector_dec.sail> + +val flip_mask : forall 'len 'v, 'v >= 0. (vector('v, dec, bit), atom('len)) -> vector('len, dec, bit) + +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); + assert(unsigned(flip_mask(0x1568378, 52)) == 22446968); + assert(unsigned(flip_mask(0x1568380, 52)) == 22446976); + assert(unsigned(flip_mask(0x1568388, 52)) == 22446984); + assert(unsigned(flip_mask(0x1568390, 52)) == 22446992); + assert(unsigned(flip_mask(0x1568398, 52)) == 22447000); + assert(unsigned(flip_mask(0x15683a0, 52)) == 22447008); + assert(unsigned(flip_mask(0x15683a8, 52)) == 22447016); + assert(unsigned(flip_mask(0x15683b0, 52)) == 22447024); + assert(unsigned(flip_mask(0x15683b8, 52)) == 22447032); + assert(unsigned(flip_mask(0x15683c0, 52)) == 22447040); + assert(unsigned(flip_mask(0x15683c8, 52)) == 22447048); + assert(unsigned(flip_mask(0x15683d0, 52)) == 22447056); + assert(unsigned(flip_mask(0x15683d8, 52)) == 22447064); + assert(unsigned(flip_mask(0x15683e0, 52)) == 22447072); + assert(unsigned(flip_mask(0x15683e8, 52)) == 22447080); + assert(unsigned(flip_mask(0x15683f0, 52)) == 22447088); + assert(unsigned(flip_mask(0x15683f8, 52)) == 22447096); + assert(unsigned(flip_mask(0x1568400, 52)) == 22447104); + assert(unsigned(flip_mask(0x1568408, 52)) == 22447112); + assert(unsigned(flip_mask(0x1568410, 52)) == 22447120); + assert(unsigned(flip_mask(0x1568418, 52)) == 22447128); + assert(unsigned(flip_mask(0x1568420, 52)) == 22447136); + assert(unsigned(flip_mask(0x1568428, 52)) == 22447144); + assert(unsigned(flip_mask(0x1568430, 52)) == 22447152); + assert(unsigned(flip_mask(0x1568438, 52)) == 22447160); + assert(unsigned(flip_mask(0x1568440, 52)) == 22447168); + assert(unsigned(flip_mask(0x1568448, 52)) == 22447176); + assert(unsigned(flip_mask(0x1568450, 52)) == 22447184); + assert(unsigned(flip_mask(0x1568458, 52)) == 22447192); + assert(unsigned(flip_mask(0x1568460, 52)) == 22447200); + assert(unsigned(flip_mask(0x1568468, 52)) == 22447208); + assert(unsigned(flip_mask(0x1568470, 52)) == 22447216); + assert(unsigned(flip_mask(0x1568478, 52)) == 22447224); + assert(unsigned(flip_mask(0x1568480, 52)) == 22447232); + assert(unsigned(flip_mask(0x1568488, 52)) == 22447240); + assert(unsigned(flip_mask(0x1568490, 52)) == 22447248); + assert(unsigned(flip_mask(0x1568498, 52)) == 22447256); + assert(unsigned(flip_mask(0x15684a0, 52)) == 22447264); + assert(unsigned(flip_mask(0x15684a8, 52)) == 22447272); + assert(unsigned(flip_mask(0x15684b0, 52)) == 22447280); + assert(unsigned(flip_mask(0x15684b8, 52)) == 22447288); + assert(unsigned(flip_mask(0x15684c0, 52)) == 22447296); + assert(unsigned(flip_mask(0x15684c8, 52)) == 22447304); + assert(unsigned(flip_mask(0x15684d0, 52)) == 22447312); + assert(unsigned(flip_mask(0x15684d8, 52)) == 22447320); + assert(unsigned(flip_mask(0x15684e0, 52)) == 22447328); + assert(unsigned(flip_mask(0x15684e8, 52)) == 22447336); + assert(unsigned(flip_mask(0x15684f0, 52)) == 22447344); + assert(unsigned(flip_mask(0x15684f8, 52)) == 22447352); + assert(unsigned(flip_mask(0x1568500, 52)) == 22447360); + assert(unsigned(flip_mask(0x1568508, 52)) == 22447368); + assert(unsigned(flip_mask(0x1568510, 52)) == 22447376); + assert(unsigned(flip_mask(0x1568518, 52)) == 22447384); + assert(unsigned(flip_mask(0x1568520, 52)) == 22447392); + assert(unsigned(flip_mask(0x1568528, 52)) == 22447400); + assert(unsigned(flip_mask(0x1569000, 52)) == 22450176); + assert(unsigned(flip_mask(0x1569008, 52)) == 22450184); + assert(unsigned(flip_mask(0x1569010, 52)) == 22450192); + assert(unsigned(flip_mask(0x1569018, 52)) == 22450200); + assert(unsigned(flip_mask(0x1569020, 52)) == 22450208); + assert(unsigned(flip_mask(0x1569028, 52)) == 22450216); + assert(unsigned(flip_mask(0x1569030, 52)) == 22450224); + assert(unsigned(flip_mask(0x1569038, 52)) == 22450232); + assert(unsigned(flip_mask(0x1569040, 52)) == 22450240); + assert(unsigned(flip_mask(0x1569048, 52)) == 22450248); + assert(unsigned(flip_mask(0x1569050, 52)) == 22450256); + assert(unsigned(flip_mask(0x1569058, 52)) == 22450264); + assert(unsigned(flip_mask(0x1569060, 52)) == 22450272); + assert(unsigned(flip_mask(0x1569068, 52)) == 22450280); + assert(unsigned(flip_mask(0x1569070, 52)) == 22450288); + assert(unsigned(flip_mask(0x1569078, 52)) == 22450296); + assert(unsigned(flip_mask(0x1569080, 52)) == 22450304); + assert(unsigned(flip_mask(0x1569088, 52)) == 22450312); + assert(unsigned(flip_mask(0x1569090, 52)) == 22450320); + assert(unsigned(flip_mask(0x1569098, 52)) == 22450328); + assert(unsigned(flip_mask(0x15690a0, 52)) == 22450336); + assert(unsigned(flip_mask(0x15690a8, 52)) == 22450344); + assert(unsigned(flip_mask(0x15690b0, 52)) == 22450352); + assert(unsigned(flip_mask(0x15690b8, 52)) == 22450360); + assert(unsigned(flip_mask(0x15690c0, 52)) == 22450368); + assert(unsigned(flip_mask(0x15690c8, 52)) == 22450376); + assert(unsigned(flip_mask(0x15690d0, 52)) == 22450384); + assert(unsigned(flip_mask(0x15690d8, 52)) == 22450392); + assert(unsigned(flip_mask(0x15690e0, 52)) == 22450400); + assert(unsigned(flip_mask(0x15690e8, 52)) == 22450408); + assert(unsigned(flip_mask(0x15690f0, 52)) == 22450416); + assert(unsigned(flip_mask(0x15690f8, 52)) == 22450424); + assert(unsigned(flip_mask(0x1569100, 52)) == 22450432); + assert(unsigned(flip_mask(0x1569108, 52)) == 22450440); + assert(unsigned(flip_mask(0x1569110, 52)) == 22450448); + assert(unsigned(flip_mask(0x1569118, 52)) == 22450456); + assert(unsigned(flip_mask(0x1569120, 52)) == 22450464); + assert(unsigned(flip_mask(0x1569128, 52)) == 22450472); + assert(unsigned(flip_mask(0x1569130, 52)) == 22450480); + assert(unsigned(flip_mask(0x1569138, 52)) == 22450488); + assert(unsigned(flip_mask(0x1569140, 52)) == 22450496); + assert(unsigned(flip_mask(0x1569148, 52)) == 22450504); + assert(unsigned(flip_mask(0x1569150, 52)) == 22450512); + assert(unsigned(flip_mask(0x1569158, 52)) == 22450520); + assert(unsigned(flip_mask(0x1569160, 52)) == 22450528); + assert(unsigned(flip_mask(0x1569168, 52)) == 22450536); + assert(unsigned(flip_mask(0x1569170, 52)) == 22450544); + assert(unsigned(flip_mask(0x1569178, 52)) == 22450552); + assert(unsigned(flip_mask(0x1569180, 52)) == 22450560); + assert(unsigned(flip_mask(0x1569188, 52)) == 22450568); + assert(unsigned(flip_mask(0x1569190, 52)) == 22450576); + assert(unsigned(flip_mask(0x1569198, 52)) == 22450584); + assert(unsigned(flip_mask(0x15691a0, 52)) == 22450592); + assert(unsigned(flip_mask(0x15691a8, 52)) == 22450600); + assert(unsigned(flip_mask(0x15691b0, 52)) == 22450608); + assert(unsigned(flip_mask(0x15691b8, 52)) == 22450616); + assert(unsigned(flip_mask(0x15691c0, 52)) == 22450624); + assert(unsigned(flip_mask(0x15691c8, 52)) == 22450632); + assert(unsigned(flip_mask(0x15691d0, 52)) == 22450640); + assert(unsigned(flip_mask(0x15691d8, 52)) == 22450648); + assert(unsigned(flip_mask(0x15691e0, 52)) == 22450656); + assert(unsigned(flip_mask(0x15691e8, 52)) == 22450664); + assert(unsigned(flip_mask(0x15691f0, 52)) == 22450672); + assert(unsigned(flip_mask(0x15691f8, 52)) == 22450680); + assert(unsigned(flip_mask(0x1569200, 52)) == 22450688); + assert(unsigned(flip_mask(0x1569208, 52)) == 22450696); + assert(unsigned(flip_mask(0x1569210, 52)) == 22450704); + assert(unsigned(flip_mask(0x1569218, 52)) == 22450712); + assert(unsigned(flip_mask(0x1569220, 52)) == 22450720); + assert(unsigned(flip_mask(0x1569228, 52)) == 22450728); + assert(unsigned(flip_mask(0x1569230, 52)) == 22450736); + assert(unsigned(flip_mask(0x1569238, 52)) == 22450744); + assert(unsigned(flip_mask(0x1569240, 52)) == 22450752); + assert(unsigned(flip_mask(0x1569248, 52)) == 22450760); + assert(unsigned(flip_mask(0x1569250, 52)) == 22450768); + assert(unsigned(flip_mask(0x1569258, 52)) == 22450776); + assert(unsigned(flip_mask(0x1569260, 52)) == 22450784); + assert(unsigned(flip_mask(0x1569268, 52)) == 22450792); + assert(unsigned(flip_mask(0x1569270, 52)) == 22450800); + assert(unsigned(flip_mask(0x1569278, 52)) == 22450808); + assert(unsigned(flip_mask(0x1569280, 52)) == 22450816); + assert(unsigned(flip_mask(0x1569288, 52)) == 22450824); + assert(unsigned(flip_mask(0x1569290, 52)) == 22450832); + assert(unsigned(flip_mask(0x1569298, 52)) == 22450840); + assert(unsigned(flip_mask(0x15692a0, 52)) == 22450848); + assert(unsigned(flip_mask(0x15692a8, 52)) == 22450856); + assert(unsigned(flip_mask(0x15692b0, 52)) == 22450864); + assert(unsigned(flip_mask(0x15692b8, 52)) == 22450872); + assert(unsigned(flip_mask(0x15692c0, 52)) == 22450880); + assert(unsigned(flip_mask(0x15692c8, 52)) == 22450888); + assert(unsigned(flip_mask(0x15692d0, 52)) == 22450896); + assert(unsigned(flip_mask(0x15692d8, 52)) == 22450904); + assert(unsigned(flip_mask(0x15692e0, 52)) == 22450912); + assert(unsigned(flip_mask(0x15692e8, 52)) == 22450920); + assert(unsigned(flip_mask(0x15692f0, 52)) == 22450928); + assert(unsigned(flip_mask(0x15692f8, 52)) == 22450936); + assert(unsigned(flip_mask(0x1569300, 52)) == 22450944); + assert(unsigned(flip_mask(0x1569308, 52)) == 22450952); + assert(unsigned(flip_mask(0x1569310, 52)) == 22450960); + assert(unsigned(flip_mask(0x1569318, 52)) == 22450968); + assert(unsigned(flip_mask(0x1569320, 52)) == 22450976); + assert(unsigned(flip_mask(0x1569328, 52)) == 22450984); + assert(unsigned(flip_mask(0x1569330, 52)) == 22450992); + assert(unsigned(flip_mask(0x1569338, 52)) == 22451000); + assert(unsigned(flip_mask(0x1569340, 52)) == 22451008); + assert(unsigned(flip_mask(0x1569348, 52)) == 22451016); + assert(unsigned(flip_mask(0x1569350, 52)) == 22451024); + assert(unsigned(flip_mask(0x1569358, 52)) == 22451032); + assert(unsigned(flip_mask(0x1569360, 52)) == 22451040); + assert(unsigned(flip_mask(0x1569368, 52)) == 22451048); + assert(unsigned(flip_mask(0x1569370, 52)) == 22451056); + assert(unsigned(flip_mask(0x1569378, 52)) == 22451064); + assert(unsigned(flip_mask(0x1569380, 52)) == 22451072); + assert(unsigned(flip_mask(0x1569388, 52)) == 22451080); + assert(unsigned(flip_mask(0x1569390, 52)) == 22451088); + assert(unsigned(flip_mask(0x1569398, 52)) == 22451096); + assert(unsigned(flip_mask(0x15693a0, 52)) == 22451104); + assert(unsigned(flip_mask(0x15693a8, 52)) == 22451112); + assert(unsigned(flip_mask(0x15693b0, 52)) == 22451120); + assert(unsigned(flip_mask(0x15693b8, 52)) == 22451128); + assert(unsigned(flip_mask(0x15693c0, 52)) == 22451136); + assert(unsigned(flip_mask(0x15693c8, 52)) == 22451144); + assert(unsigned(flip_mask(0x15693d0, 52)) == 22451152); + assert(unsigned(flip_mask(0x15693d8, 52)) == 22451160); + assert(unsigned(flip_mask(0x15693e0, 52)) == 22451168); + assert(unsigned(flip_mask(0x15693e8, 52)) == 22451176); + assert(unsigned(flip_mask(0x15693f0, 52)) == 22451184); + assert(unsigned(flip_mask(0x15693f8, 52)) == 22451192); + assert(unsigned(flip_mask(0x1569400, 52)) == 22451200); + assert(unsigned(flip_mask(0x1569408, 52)) == 22451208); + assert(unsigned(flip_mask(0x1569410, 52)) == 22451216); + assert(unsigned(flip_mask(0x1569418, 52)) == 22451224); + assert(unsigned(flip_mask(0x1569420, 52)) == 22451232); + assert(unsigned(flip_mask(0x1569428, 52)) == 22451240); + assert(unsigned(flip_mask(0x1569430, 52)) == 22451248); + assert(unsigned(flip_mask(0x1569438, 52)) == 22451256); + assert(unsigned(flip_mask(0x1569440, 52)) == 22451264); + assert(unsigned(flip_mask(0x1569448, 52)) == 22451272); + assert(unsigned(flip_mask(0x1569450, 52)) == 22451280); + assert(unsigned(flip_mask(0x1569458, 52)) == 22451288); + assert(unsigned(flip_mask(0x1569460, 52)) == 22451296); + assert(unsigned(flip_mask(0x1569468, 52)) == 22451304); + assert(unsigned(flip_mask(0x1569470, 52)) == 22451312); + assert(unsigned(flip_mask(0x1569478, 52)) == 22451320); + assert(unsigned(flip_mask(0x1569480, 52)) == 22451328); + assert(unsigned(flip_mask(0x1569488, 52)) == 22451336); + assert(unsigned(flip_mask(0x1569490, 52)) == 22451344); + assert(unsigned(flip_mask(0x1569498, 52)) == 22451352); + assert(unsigned(flip_mask(0x15694a0, 52)) == 22451360); + assert(unsigned(flip_mask(0x15694a8, 52)) == 22451368); + assert(unsigned(flip_mask(0x15694b0, 52)) == 22451376); + assert(unsigned(flip_mask(0x15694b8, 52)) == 22451384); + assert(unsigned(flip_mask(0x15694c0, 52)) == 22451392); + assert(unsigned(flip_mask(0x15694c8, 52)) == 22451400); + assert(unsigned(flip_mask(0x15694d0, 52)) == 22451408); + assert(unsigned(flip_mask(0x15694d8, 52)) == 22451416); + assert(unsigned(flip_mask(0x15694e0, 52)) == 22451424); + assert(unsigned(flip_mask(0x15694e8, 52)) == 22451432); + assert(unsigned(flip_mask(0x15694f0, 52)) == 22451440); + assert(unsigned(flip_mask(0x15694f8, 52)) == 22451448); + assert(unsigned(flip_mask(0x1569500, 52)) == 22451456); + assert(unsigned(flip_mask(0x1569508, 52)) == 22451464); + assert(unsigned(flip_mask(0x1569510, 52)) == 22451472); + assert(unsigned(flip_mask(0x1569518, 52)) == 22451480); + assert(unsigned(flip_mask(0x1569520, 52)) == 22451488); + assert(unsigned(flip_mask(0x1569528, 52)) == 22451496); + assert(unsigned(flip_mask(0x1569530, 52)) == 22451504); + assert(unsigned(flip_mask(0x1569538, 52)) == 22451512); + assert(unsigned(flip_mask(0x1569540, 52)) == 22451520); + assert(unsigned(flip_mask(0x1569548, 52)) == 22451528); + assert(unsigned(flip_mask(0x1569550, 52)) == 22451536); + assert(unsigned(flip_mask(0x1569558, 52)) == 22451544); + assert(unsigned(flip_mask(0x1569560, 52)) == 22451552); + assert(unsigned(flip_mask(0x1569568, 52)) == 22451560); + assert(unsigned(flip_mask(0x1569570, 52)) == 22451568); + assert(unsigned(flip_mask(0x1569578, 52)) == 22451576); + assert(unsigned(flip_mask(0x1569580, 52)) == 22451584); + assert(unsigned(flip_mask(0x1569588, 52)) == 22451592); + assert(unsigned(flip_mask(0x1569590, 52)) == 22451600); + assert(unsigned(flip_mask(0x1569598, 52)) == 22451608); + assert(unsigned(flip_mask(0x15695a0, 52)) == 22451616); + assert(unsigned(flip_mask(0x15695a8, 52)) == 22451624); + assert(unsigned(flip_mask(0x15695b0, 52)) == 22451632); + assert(unsigned(flip_mask(0x15695b8, 52)) == 22451640); + assert(unsigned(flip_mask(0x15695c0, 52)) == 22451648); + assert(unsigned(flip_mask(0x15695c8, 52)) == 22451656); + assert(unsigned(flip_mask(0x15695d0, 52)) == 22451664); + assert(unsigned(flip_mask(0x15695d8, 52)) == 22451672); + assert(unsigned(flip_mask(0x15695e0, 52)) == 22451680); + assert(unsigned(flip_mask(0x15695e8, 52)) == 22451688); + assert(unsigned(flip_mask(0x15695f0, 52)) == 22451696); + assert(unsigned(flip_mask(0x15695f8, 52)) == 22451704); + assert(unsigned(flip_mask(0x1569600, 52)) == 22451712); + assert(unsigned(flip_mask(0x1569608, 52)) == 22451720); + assert(unsigned(flip_mask(0x1569610, 52)) == 22451728); + assert(unsigned(flip_mask(0x1569618, 52)) == 22451736); + assert(unsigned(flip_mask(0x1569620, 52)) == 22451744); + assert(unsigned(flip_mask(0x1569628, 52)) == 22451752); + assert(unsigned(flip_mask(0x1569630, 52)) == 22451760); + assert(unsigned(flip_mask(0x1569638, 52)) == 22451768); + assert(unsigned(flip_mask(0x1569640, 52)) == 22451776); + assert(unsigned(flip_mask(0x1569648, 52)) == 22451784); + assert(unsigned(flip_mask(0x1569650, 52)) == 22451792); + assert(unsigned(flip_mask(0x1569658, 52)) == 22451800); + assert(unsigned(flip_mask(0x1569660, 52)) == 22451808); + assert(unsigned(flip_mask(0x1569668, 52)) == 22451816); + assert(unsigned(flip_mask(0x1569670, 52)) == 22451824); + assert(unsigned(flip_mask(0x1569678, 52)) == 22451832); + assert(unsigned(flip_mask(0x1569680, 52)) == 22451840); + assert(unsigned(flip_mask(0x1569688, 52)) == 22451848); + assert(unsigned(flip_mask(0x1569690, 52)) == 22451856); + assert(unsigned(flip_mask(0x1569698, 52)) == 22451864); + assert(unsigned(flip_mask(0x15696a0, 52)) == 22451872); + assert(unsigned(flip_mask(0x15696a8, 52)) == 22451880); + assert(unsigned(flip_mask(0x15696b0, 52)) == 22451888); + assert(unsigned(flip_mask(0x15696b8, 52)) == 22451896); + assert(unsigned(flip_mask(0x15696c0, 52)) == 22451904); + assert(unsigned(flip_mask(0x15696c8, 52)) == 22451912); + assert(unsigned(flip_mask(0x15696d0, 52)) == 22451920); + assert(unsigned(flip_mask(0x15696d8, 52)) == 22451928); + assert(unsigned(flip_mask(0x15696e0, 52)) == 22451936); + assert(unsigned(flip_mask(0x15696e8, 52)) == 22451944); + assert(unsigned(flip_mask(0x15696f0, 52)) == 22451952); + assert(unsigned(flip_mask(0x15696f8, 52)) == 22451960); + assert(unsigned(flip_mask(0x1569700, 52)) == 22451968); + assert(unsigned(flip_mask(0x1569708, 52)) == 22451976); + assert(unsigned(flip_mask(0x1569710, 52)) == 22451984); + assert(unsigned(flip_mask(0x1569718, 52)) == 22451992); + assert(unsigned(flip_mask(0x1569720, 52)) == 22452000); + assert(unsigned(flip_mask(0x1569728, 52)) == 22452008); + assert(unsigned(flip_mask(0x1569730, 52)) == 22452016); + assert(unsigned(flip_mask(0x1569738, 52)) == 22452024); + assert(unsigned(flip_mask(0x1569740, 52)) == 22452032); + assert(unsigned(flip_mask(0x1569748, 52)) == 22452040); + assert(unsigned(flip_mask(0x1569750, 52)) == 22452048); + assert(unsigned(flip_mask(0x1569758, 52)) == 22452056); + assert(unsigned(flip_mask(0x1569760, 52)) == 22452064); + assert(unsigned(flip_mask(0x1569768, 52)) == 22452072); + assert(unsigned(flip_mask(0x1569770, 52)) == 22452080); + assert(unsigned(flip_mask(0x1569778, 52)) == 22452088); + assert(unsigned(flip_mask(0x1569780, 52)) == 22452096); + assert(unsigned(flip_mask(0x1569788, 52)) == 22452104); + assert(unsigned(flip_mask(0x1569790, 52)) == 22452112); + assert(unsigned(flip_mask(0x1569798, 52)) == 22452120); + assert(unsigned(flip_mask(0x15697a0, 52)) == 22452128); + assert(unsigned(flip_mask(0x15697a8, 52)) == 22452136); + assert(unsigned(flip_mask(0x15697b0, 52)) == 22452144); + assert(unsigned(flip_mask(0x15697b8, 52)) == 22452152); + assert(unsigned(flip_mask(0x15697c0, 52)) == 22452160); + assert(unsigned(flip_mask(0x15697c8, 52)) == 22452168); + assert(unsigned(flip_mask(0x15697d0, 52)) == 22452176); + assert(unsigned(flip_mask(0x15697d8, 52)) == 22452184); + assert(unsigned(flip_mask(0x15697e0, 52)) == 22452192); + assert(unsigned(flip_mask(0x15697e8, 52)) == 22452200); + assert(unsigned(flip_mask(0x15697f0, 52)) == 22452208); + assert(unsigned(flip_mask(0x15697f8, 52)) == 22452216); + assert(unsigned(flip_mask(0x1569800, 52)) == 22452224); + assert(unsigned(flip_mask(0x1569808, 52)) == 22452232); + assert(unsigned(flip_mask(0x1569810, 52)) == 22452240); + assert(unsigned(flip_mask(0x1569818, 52)) == 22452248); + assert(unsigned(flip_mask(0x1569820, 52)) == 22452256); + assert(unsigned(flip_mask(0x1569828, 52)) == 22452264); + assert(unsigned(flip_mask(0x1569830, 52)) == 22452272); + assert(unsigned(flip_mask(0x1569838, 52)) == 22452280); + assert(unsigned(flip_mask(0x1569840, 52)) == 22452288); + assert(unsigned(flip_mask(0x1569848, 52)) == 22452296); + assert(unsigned(flip_mask(0x1569850, 52)) == 22452304); + assert(unsigned(flip_mask(0x1569858, 52)) == 22452312); + assert(unsigned(flip_mask(0x1569860, 52)) == 22452320); + assert(unsigned(flip_mask(0x1569868, 52)) == 22452328); + assert(unsigned(flip_mask(0x1569870, 52)) == 22452336); + assert(unsigned(flip_mask(0x1569878, 52)) == 22452344); + assert(unsigned(flip_mask(0x1569880, 52)) == 22452352); + assert(unsigned(flip_mask(0x1569888, 52)) == 22452360); + assert(unsigned(flip_mask(0x1569890, 52)) == 22452368); + assert(unsigned(flip_mask(0x1569898, 52)) == 22452376); + assert(unsigned(flip_mask(0x15698a0, 52)) == 22452384); + assert(unsigned(flip_mask(0x15698a8, 52)) == 22452392); + assert(unsigned(flip_mask(0x15698b0, 52)) == 22452400); + assert(unsigned(flip_mask(0x15698b8, 52)) == 22452408); + assert(unsigned(flip_mask(0x16000, 52)) == 90112); + assert(unsigned(flip_mask(0x1668008, 52)) == 23494664); + assert(unsigned(flip_mask(0x1668010, 52)) == 23494672); + assert(unsigned(flip_mask(0x1668018, 52)) == 23494680); + assert(unsigned(flip_mask(0x1668020, 52)) == 23494688); + assert(unsigned(flip_mask(0x1668028, 52)) == 23494696); + assert(unsigned(flip_mask(0x1668030, 52)) == 23494704); + assert(unsigned(flip_mask(0x1668038, 52)) == 23494712); + assert(unsigned(flip_mask(0x1668040, 52)) == 23494720); + assert(unsigned(flip_mask(0x1668048, 52)) == 23494728); + assert(unsigned(flip_mask(0x1668050, 52)) == 23494736); + assert(unsigned(flip_mask(0x1668058, 52)) == 23494744); + assert(unsigned(flip_mask(0x1668060, 52)) == 23494752); + assert(unsigned(flip_mask(0x1668068, 52)) == 23494760); + assert(unsigned(flip_mask(0x1668070, 52)) == 23494768); + assert(unsigned(flip_mask(0x1668078, 52)) == 23494776); + assert(unsigned(flip_mask(0x1668080, 52)) == 23494784); + assert(unsigned(flip_mask(0x1668088, 52)) == 23494792); + assert(unsigned(flip_mask(0x1668090, 52)) == 23494800); + assert(unsigned(flip_mask(0x1668098, 52)) == 23494808); + assert(unsigned(flip_mask(0x16680a0, 52)) == 23494816); + assert(unsigned(flip_mask(0x16680a8, 52)) == 23494824); + assert(unsigned(flip_mask(0x16680b0, 52)) == 23494832); + assert(unsigned(flip_mask(0x16680b8, 52)) == 23494840); + assert(unsigned(flip_mask(0x16680c0, 52)) == 23494848); + assert(unsigned(flip_mask(0x16680c8, 52)) == 23494856); + assert(unsigned(flip_mask(0x16680d0, 52)) == 23494864); + assert(unsigned(flip_mask(0x16680d8, 52)) == 23494872); + assert(unsigned(flip_mask(0x16680e0, 52)) == 23494880); + assert(unsigned(flip_mask(0x16680e8, 52)) == 23494888); + assert(unsigned(flip_mask(0x16680f0, 52)) == 23494896); + assert(unsigned(flip_mask(0x16680f8, 52)) == 23494904); + assert(unsigned(flip_mask(0x1668100, 52)) == 23494912); + assert(unsigned(flip_mask(0x1668108, 52)) == 23494920); + assert(unsigned(flip_mask(0x1668110, 52)) == 23494928); + assert(unsigned(flip_mask(0x1668118, 52)) == 23494936); + assert(unsigned(flip_mask(0x1668120, 52)) == 23494944); + assert(unsigned(flip_mask(0x1668128, 52)) == 23494952); + assert(unsigned(flip_mask(0x1668130, 52)) == 23494960); + assert(unsigned(flip_mask(0x1668138, 52)) == 23494968); + assert(unsigned(flip_mask(0x1668140, 52)) == 23494976); + assert(unsigned(flip_mask(0x1668148, 52)) == 23494984); + assert(unsigned(flip_mask(0x1668150, 52)) == 23494992); + assert(unsigned(flip_mask(0x1668158, 52)) == 23495000); + assert(unsigned(flip_mask(0x1668160, 52)) == 23495008); + assert(unsigned(flip_mask(0x1668168, 52)) == 23495016); + assert(unsigned(flip_mask(0x1668170, 52)) == 23495024); + assert(unsigned(flip_mask(0x1668178, 52)) == 23495032); + assert(unsigned(flip_mask(0x1668180, 52)) == 23495040); + assert(unsigned(flip_mask(0x1668188, 52)) == 23495048); + assert(unsigned(flip_mask(0x1668190, 52)) == 23495056); + assert(unsigned(flip_mask(0x1668198, 52)) == 23495064); + assert(unsigned(flip_mask(0x16681a0, 52)) == 23495072); + assert(unsigned(flip_mask(0x16681a8, 52)) == 23495080); + assert(unsigned(flip_mask(0x16681b0, 52)) == 23495088); + assert(unsigned(flip_mask(0x16681b8, 52)) == 23495096); + assert(unsigned(flip_mask(0x16681c0, 52)) == 23495104); + assert(unsigned(flip_mask(0x16681c8, 52)) == 23495112); + assert(unsigned(flip_mask(0x16681d0, 52)) == 23495120); + assert(unsigned(flip_mask(0x16681d8, 52)) == 23495128); + assert(unsigned(flip_mask(0x16681e0, 52)) == 23495136); + assert(unsigned(flip_mask(0x16681e8, 52)) == 23495144); + assert(unsigned(flip_mask(0x16681f0, 52)) == 23495152); + assert(unsigned(flip_mask(0x16681f8, 52)) == 23495160); + assert(unsigned(flip_mask(0x1668200, 52)) == 23495168); + assert(unsigned(flip_mask(0x1668208, 52)) == 23495176); + assert(unsigned(flip_mask(0x1668210, 52)) == 23495184); + assert(unsigned(flip_mask(0x1668218, 52)) == 23495192); + assert(unsigned(flip_mask(0x1668220, 52)) == 23495200); + assert(unsigned(flip_mask(0x1668228, 52)) == 23495208); + assert(unsigned(flip_mask(0x1668230, 52)) == 23495216); + assert(unsigned(flip_mask(0x1668238, 52)) == 23495224); + assert(unsigned(flip_mask(0x1668240, 52)) == 23495232); + assert(unsigned(flip_mask(0x1668248, 52)) == 23495240); + assert(unsigned(flip_mask(0x1668250, 52)) == 23495248); + assert(unsigned(flip_mask(0x1668258, 52)) == 23495256); + assert(unsigned(flip_mask(0x1668260, 52)) == 23495264); + assert(unsigned(flip_mask(0x1668268, 52)) == 23495272); + assert(unsigned(flip_mask(0x1668270, 52)) == 23495280); + assert(unsigned(flip_mask(0x1668278, 52)) == 23495288); + assert(unsigned(flip_mask(0x1668280, 52)) == 23495296); + assert(unsigned(flip_mask(0x1668288, 52)) == 23495304); + assert(unsigned(flip_mask(0x1668290, 52)) == 23495312); + assert(unsigned(flip_mask(0x1668298, 52)) == 23495320); + assert(unsigned(flip_mask(0x16682a0, 52)) == 23495328); + assert(unsigned(flip_mask(0x16682a8, 52)) == 23495336); + assert(unsigned(flip_mask(0x16682b0, 52)) == 23495344); + assert(unsigned(flip_mask(0x16682b8, 52)) == 23495352); + assert(unsigned(flip_mask(0x16682c0, 52)) == 23495360); + assert(unsigned(flip_mask(0x16682c8, 52)) == 23495368); + assert(unsigned(flip_mask(0x16682d0, 52)) == 23495376); + assert(unsigned(flip_mask(0x16682d8, 52)) == 23495384); + assert(unsigned(flip_mask(0x16682e0, 52)) == 23495392); + assert(unsigned(flip_mask(0x16682e8, 52)) == 23495400); + assert(unsigned(flip_mask(0x16682f0, 52)) == 23495408); + assert(unsigned(flip_mask(0x16682f8, 52)) == 23495416); + assert(unsigned(flip_mask(0x1668300, 52)) == 23495424); + assert(unsigned(flip_mask(0x1668308, 52)) == 23495432); + assert(unsigned(flip_mask(0x1668310, 52)) == 23495440); + assert(unsigned(flip_mask(0x1668318, 52)) == 23495448); + assert(unsigned(flip_mask(0x1668320, 52)) == 23495456); + assert(unsigned(flip_mask(0x1668328, 52)) == 23495464); + assert(unsigned(flip_mask(0x1668330, 52)) == 23495472); + assert(unsigned(flip_mask(0x1668338, 52)) == 23495480); + assert(unsigned(flip_mask(0x1668340, 52)) == 23495488); + assert(unsigned(flip_mask(0x1668348, 52)) == 23495496); + assert(unsigned(flip_mask(0x1668350, 52)) == 23495504); + assert(unsigned(flip_mask(0x1668358, 52)) == 23495512); + assert(unsigned(flip_mask(0x1668360, 52)) == 23495520); + assert(unsigned(flip_mask(0x1668368, 52)) == 23495528); + assert(unsigned(flip_mask(0x1668370, 52)) == 23495536); + assert(unsigned(flip_mask(0x1668378, 52)) == 23495544); + assert(unsigned(flip_mask(0x1668380, 52)) == 23495552); + assert(unsigned(flip_mask(0x1668388, 52)) == 23495560); + assert(unsigned(flip_mask(0x1668390, 52)) == 23495568); + assert(unsigned(flip_mask(0x1668398, 52)) == 23495576); + assert(unsigned(flip_mask(0x16683a0, 52)) == 23495584); + assert(unsigned(flip_mask(0x16683a8, 52)) == 23495592); + assert(unsigned(flip_mask(0x16683b0, 52)) == 23495600); + assert(unsigned(flip_mask(0x16683b8, 52)) == 23495608); + assert(unsigned(flip_mask(0x16683c0, 52)) == 23495616); + assert(unsigned(flip_mask(0x16683c8, 52)) == 23495624); + assert(unsigned(flip_mask(0x16683d0, 52)) == 23495632); + assert(unsigned(flip_mask(0x16683d8, 52)) == 23495640); + assert(unsigned(flip_mask(0x16683e0, 52)) == 23495648); + assert(unsigned(flip_mask(0x16683e8, 52)) == 23495656); + assert(unsigned(flip_mask(0x16683f0, 52)) == 23495664); + assert(unsigned(flip_mask(0x16683f8, 52)) == 23495672); + assert(unsigned(flip_mask(0x1668400, 52)) == 23495680); + assert(unsigned(flip_mask(0x1668408, 52)) == 23495688); + assert(unsigned(flip_mask(0x1668410, 52)) == 23495696); + assert(unsigned(flip_mask(0x1668418, 52)) == 23495704); + assert(unsigned(flip_mask(0x1668420, 52)) == 23495712); + assert(unsigned(flip_mask(0x1668428, 52)) == 23495720); + assert(unsigned(flip_mask(0x1668430, 52)) == 23495728); + assert(unsigned(flip_mask(0x1668438, 52)) == 23495736); + assert(unsigned(flip_mask(0x1668440, 52)) == 23495744); + assert(unsigned(flip_mask(0x1668448, 52)) == 23495752); + assert(unsigned(flip_mask(0x1668450, 52)) == 23495760); + assert(unsigned(flip_mask(0x1668458, 52)) == 23495768); + assert(unsigned(flip_mask(0x1668460, 52)) == 23495776); + assert(unsigned(flip_mask(0x1668468, 52)) == 23495784); + assert(unsigned(flip_mask(0x1668470, 52)) == 23495792); + assert(unsigned(flip_mask(0x1668478, 52)) == 23495800); + assert(unsigned(flip_mask(0x1668480, 52)) == 23495808); + assert(unsigned(flip_mask(0x1668488, 52)) == 23495816); + assert(unsigned(flip_mask(0x1668490, 52)) == 23495824); + assert(unsigned(flip_mask(0x1668498, 52)) == 23495832); + assert(unsigned(flip_mask(0x16684a0, 52)) == 23495840); + assert(unsigned(flip_mask(0x16684a8, 52)) == 23495848); + assert(unsigned(flip_mask(0x16684b0, 52)) == 23495856); + assert(unsigned(flip_mask(0x16684b8, 52)) == 23495864); + assert(unsigned(flip_mask(0x16684c0, 52)) == 23495872); + assert(unsigned(flip_mask(0x16684c8, 52)) == 23495880); + assert(unsigned(flip_mask(0x16684d0, 52)) == 23495888); + assert(unsigned(flip_mask(0x16684d8, 52)) == 23495896); + assert(unsigned(flip_mask(0x16684e0, 52)) == 23495904); + assert(unsigned(flip_mask(0x16684e8, 52)) == 23495912); + assert(unsigned(flip_mask(0x16684f0, 52)) == 23495920); + assert(unsigned(flip_mask(0x16684f8, 52)) == 23495928); + assert(unsigned(flip_mask(0x1668500, 52)) == 23495936); + assert(unsigned(flip_mask(0x1668508, 52)) == 23495944); + assert(unsigned(flip_mask(0x1668510, 52)) == 23495952); + assert(unsigned(flip_mask(0x1668518, 52)) == 23495960); + assert(unsigned(flip_mask(0x1668520, 52)) == 23495968); + assert(unsigned(flip_mask(0x1668528, 52)) == 23495976); + assert(unsigned(flip_mask(0x1668530, 52)) == 23495984); + assert(unsigned(flip_mask(0x1668538, 52)) == 23495992); + assert(unsigned(flip_mask(0x1668540, 52)) == 23496000); + assert(unsigned(flip_mask(0x1668548, 52)) == 23496008); + assert(unsigned(flip_mask(0x1668550, 52)) == 23496016); + assert(unsigned(flip_mask(0x1668558, 52)) == 23496024); + assert(unsigned(flip_mask(0x1668560, 52)) == 23496032); + assert(unsigned(flip_mask(0x1668568, 52)) == 23496040); + assert(unsigned(flip_mask(0x1668570, 52)) == 23496048); + assert(unsigned(flip_mask(0x1668578, 52)) == 23496056); + assert(unsigned(flip_mask(0x1668580, 52)) == 23496064); + assert(unsigned(flip_mask(0x1668588, 52)) == 23496072); + assert(unsigned(flip_mask(0x1668590, 52)) == 23496080); + assert(unsigned(flip_mask(0x1668598, 52)) == 23496088); + assert(unsigned(flip_mask(0x16685a0, 52)) == 23496096); + assert(unsigned(flip_mask(0x16685a8, 52)) == 23496104); + assert(unsigned(flip_mask(0x16685b0, 52)) == 23496112); + assert(unsigned(flip_mask(0x16685b8, 52)) == 23496120); + assert(unsigned(flip_mask(0x16685c0, 52)) == 23496128); + assert(unsigned(flip_mask(0x16685c8, 52)) == 23496136); + assert(unsigned(flip_mask(0x16685d0, 52)) == 23496144); + assert(unsigned(flip_mask(0x16685d8, 52)) == 23496152); + assert(unsigned(flip_mask(0x16685e0, 52)) == 23496160); + assert(unsigned(flip_mask(0x16685e8, 52)) == 23496168); + assert(unsigned(flip_mask(0x16685f0, 52)) == 23496176); + assert(unsigned(flip_mask(0x16685f8, 52)) == 23496184); + assert(unsigned(flip_mask(0x1668600, 52)) == 23496192); + assert(unsigned(flip_mask(0x1668608, 52)) == 23496200); + assert(unsigned(flip_mask(0x1668610, 52)) == 23496208); + assert(unsigned(flip_mask(0x1668618, 52)) == 23496216); + assert(unsigned(flip_mask(0x1668620, 52)) == 23496224); + assert(unsigned(flip_mask(0x1668628, 52)) == 23496232); + assert(unsigned(flip_mask(0x1668630, 52)) == 23496240); + assert(unsigned(flip_mask(0x1668638, 52)) == 23496248); + assert(unsigned(flip_mask(0x1668640, 52)) == 23496256); + assert(unsigned(flip_mask(0x1668648, 52)) == 23496264); + assert(unsigned(flip_mask(0x1668650, 52)) == 23496272); + assert(unsigned(flip_mask(0x1668658, 52)) == 23496280); + assert(unsigned(flip_mask(0x1668660, 52)) == 23496288); + assert(unsigned(flip_mask(0x1668668, 52)) == 23496296); + assert(unsigned(flip_mask(0x1668670, 52)) == 23496304); + assert(unsigned(flip_mask(0x1668678, 52)) == 23496312); + assert(unsigned(flip_mask(0x1668680, 52)) == 23496320); + assert(unsigned(flip_mask(0x1668688, 52)) == 23496328); + assert(unsigned(flip_mask(0x1668690, 52)) == 23496336); + assert(unsigned(flip_mask(0x1668698, 52)) == 23496344); + assert(unsigned(flip_mask(0x16686a0, 52)) == 23496352); + assert(unsigned(flip_mask(0x16686a8, 52)) == 23496360); + assert(unsigned(flip_mask(0x16686b0, 52)) == 23496368); + assert(unsigned(flip_mask(0x16686b8, 52)) == 23496376); + assert(unsigned(flip_mask(0x16686c0, 52)) == 23496384); + assert(unsigned(flip_mask(0x16686c8, 52)) == 23496392); + assert(unsigned(flip_mask(0x16686d0, 52)) == 23496400); + assert(unsigned(flip_mask(0x16686d8, 52)) == 23496408); + assert(unsigned(flip_mask(0x16686e0, 52)) == 23496416); + assert(unsigned(flip_mask(0x16686e8, 52)) == 23496424); + assert(unsigned(flip_mask(0x16686f0, 52)) == 23496432); + assert(unsigned(flip_mask(0x16686f8, 52)) == 23496440); + assert(unsigned(flip_mask(0x1668700, 52)) == 23496448); + assert(unsigned(flip_mask(0x1668708, 52)) == 23496456); + assert(unsigned(flip_mask(0x1668710, 52)) == 23496464); + assert(unsigned(flip_mask(0x1668718, 52)) == 23496472); + assert(unsigned(flip_mask(0x1668720, 52)) == 23496480); + assert(unsigned(flip_mask(0x1668728, 52)) == 23496488); + assert(unsigned(flip_mask(0x1668730, 52)) == 23496496); + assert(unsigned(flip_mask(0x1668738, 52)) == 23496504); + assert(unsigned(flip_mask(0x1668740, 52)) == 23496512); + assert(unsigned(flip_mask(0x1668748, 52)) == 23496520); + assert(unsigned(flip_mask(0x1668750, 52)) == 23496528); + assert(unsigned(flip_mask(0x1668758, 52)) == 23496536); + assert(unsigned(flip_mask(0x1668760, 52)) == 23496544); + assert(unsigned(flip_mask(0x1668768, 52)) == 23496552); + assert(unsigned(flip_mask(0x1668770, 52)) == 23496560); + assert(unsigned(flip_mask(0x1668778, 52)) == 23496568); + assert(unsigned(flip_mask(0x1668780, 52)) == 23496576); + assert(unsigned(flip_mask(0x1668788, 52)) == 23496584); + assert(unsigned(flip_mask(0x1668790, 52)) == 23496592); + assert(unsigned(flip_mask(0x1668798, 52)) == 23496600); + assert(unsigned(flip_mask(0x16687a0, 52)) == 23496608); + assert(unsigned(flip_mask(0x16687a8, 52)) == 23496616); + assert(unsigned(flip_mask(0x16687b0, 52)) == 23496624); + assert(unsigned(flip_mask(0x16687b8, 52)) == 23496632); + assert(unsigned(flip_mask(0x16687c0, 52)) == 23496640); + assert(unsigned(flip_mask(0x16687c8, 52)) == 23496648); + assert(unsigned(flip_mask(0x16687d0, 52)) == 23496656); + assert(unsigned(flip_mask(0x16687d8, 52)) == 23496664); + assert(unsigned(flip_mask(0x16687e0, 52)) == 23496672); + assert(unsigned(flip_mask(0x16687e8, 52)) == 23496680); + assert(unsigned(flip_mask(0x16687f0, 52)) == 23496688); + assert(unsigned(flip_mask(0x16687f8, 52)) == 23496696); + assert(unsigned(flip_mask(0x1668800, 52)) == 23496704); + assert(unsigned(flip_mask(0x1668808, 52)) == 23496712); + assert(unsigned(flip_mask(0x1668810, 52)) == 23496720); + assert(unsigned(flip_mask(0x1668818, 52)) == 23496728); + assert(unsigned(flip_mask(0x1668820, 52)) == 23496736); + assert(unsigned(flip_mask(0x1668828, 52)) == 23496744); + assert(unsigned(flip_mask(0x1668830, 52)) == 23496752); + assert(unsigned(flip_mask(0x1668838, 52)) == 23496760); + assert(unsigned(flip_mask(0x1668840, 52)) == 23496768); + assert(unsigned(flip_mask(0x1668848, 52)) == 23496776); + assert(unsigned(flip_mask(0x1668850, 52)) == 23496784); + assert(unsigned(flip_mask(0x1668858, 52)) == 23496792); + assert(unsigned(flip_mask(0x1668860, 52)) == 23496800); + assert(unsigned(flip_mask(0x1668868, 52)) == 23496808); + assert(unsigned(flip_mask(0x1668870, 52)) == 23496816); + assert(unsigned(flip_mask(0x1668878, 52)) == 23496824); + assert(unsigned(flip_mask(0x1668880, 52)) == 23496832); + assert(unsigned(flip_mask(0x1668888, 52)) == 23496840); + assert(unsigned(flip_mask(0x1668890, 52)) == 23496848); + assert(unsigned(flip_mask(0x1668898, 52)) == 23496856); + assert(unsigned(flip_mask(0x16688a0, 52)) == 23496864); + assert(unsigned(flip_mask(0x16688a8, 52)) == 23496872); + assert(unsigned(flip_mask(0x16688b0, 52)) == 23496880); + assert(unsigned(flip_mask(0x16688b8, 52)) == 23496888); + assert(unsigned(flip_mask(0x16688c0, 52)) == 23496896); + assert(unsigned(flip_mask(0x16688c8, 52)) == 23496904); + assert(unsigned(flip_mask(0x16688d0, 52)) == 23496912); + assert(unsigned(flip_mask(0x16688d8, 52)) == 23496920); + assert(unsigned(flip_mask(0x16688e0, 52)) == 23496928); + assert(unsigned(flip_mask(0x16688e8, 52)) == 23496936); + assert(unsigned(flip_mask(0x16688f0, 52)) == 23496944); + assert(unsigned(flip_mask(0x16688f8, 52)) == 23496952); + assert(unsigned(flip_mask(0x1668900, 52)) == 23496960); + assert(unsigned(flip_mask(0x1668908, 52)) == 23496968); + assert(unsigned(flip_mask(0x1668910, 52)) == 23496976); + assert(unsigned(flip_mask(0x1668918, 52)) == 23496984); + assert(unsigned(flip_mask(0x1668920, 52)) == 23496992); + assert(unsigned(flip_mask(0x1668928, 52)) == 23497000); + assert(unsigned(flip_mask(0x1668930, 52)) == 23497008); + assert(unsigned(flip_mask(0x1668938, 52)) == 23497016); + assert(unsigned(flip_mask(0x1668940, 52)) == 23497024); + assert(unsigned(flip_mask(0x1668948, 52)) == 23497032); + assert(unsigned(flip_mask(0x1668950, 52)) == 23497040); + assert(unsigned(flip_mask(0x1668958, 52)) == 23497048); + assert(unsigned(flip_mask(0x1668960, 52)) == 23497056); + assert(unsigned(flip_mask(0x1668968, 52)) == 23497064); + assert(unsigned(flip_mask(0x1668970, 52)) == 23497072); + assert(unsigned(flip_mask(0x1668978, 52)) == 23497080); + assert(unsigned(flip_mask(0x1668980, 52)) == 23497088); + assert(unsigned(flip_mask(0x1668988, 52)) == 23497096); + assert(unsigned(flip_mask(0x1668990, 52)) == 23497104); + assert(unsigned(flip_mask(0x1668998, 52)) == 23497112); + assert(unsigned(flip_mask(0x16689a0, 52)) == 23497120); + assert(unsigned(flip_mask(0x16689a8, 52)) == 23497128); + assert(unsigned(flip_mask(0x16689b0, 52)) == 23497136); + assert(unsigned(flip_mask(0x16689b8, 52)) == 23497144); + assert(unsigned(flip_mask(0x16689c0, 52)) == 23497152); + assert(unsigned(flip_mask(0x16689c8, 52)) == 23497160); + assert(unsigned(flip_mask(0x16689d0, 52)) == 23497168); + assert(unsigned(flip_mask(0x16689d8, 52)) == 23497176); + assert(unsigned(flip_mask(0x16689e0, 52)) == 23497184); + assert(unsigned(flip_mask(0x16689e8, 52)) == 23497192); + assert(unsigned(flip_mask(0x16689f0, 52)) == 23497200); + assert(unsigned(flip_mask(0x16689f8, 52)) == 23497208); + assert(unsigned(flip_mask(0x1668a00, 52)) == 23497216); + assert(unsigned(flip_mask(0x1668a08, 52)) == 23497224); + assert(unsigned(flip_mask(0x1668a10, 52)) == 23497232); + assert(unsigned(flip_mask(0x1668a18, 52)) == 23497240); + assert(unsigned(flip_mask(0x1668a20, 52)) == 23497248); + assert(unsigned(flip_mask(0x1668a28, 52)) == 23497256); + assert(unsigned(flip_mask(0x1668a30, 52)) == 23497264); + assert(unsigned(flip_mask(0x1668a38, 52)) == 23497272); + assert(unsigned(flip_mask(0x1668a40, 52)) == 23497280); + assert(unsigned(flip_mask(0x1668a48, 52)) == 23497288); + assert(unsigned(flip_mask(0x1668a50, 52)) == 23497296); + assert(unsigned(flip_mask(0x1668a58, 52)) == 23497304); + assert(unsigned(flip_mask(0x1668a60, 52)) == 23497312); + assert(unsigned(flip_mask(0x1668a68, 52)) == 23497320); + assert(unsigned(flip_mask(0x1668a70, 52)) == 23497328); + assert(unsigned(flip_mask(0x1668a78, 52)) == 23497336); + assert(unsigned(flip_mask(0x1668a80, 52)) == 23497344); + assert(unsigned(flip_mask(0x1668a88, 52)) == 23497352); + assert(unsigned(flip_mask(0x1668a90, 52)) == 23497360); + assert(unsigned(flip_mask(0x1668a98, 52)) == 23497368); + assert(unsigned(flip_mask(0x1668aa0, 52)) == 23497376); + assert(unsigned(flip_mask(0x1668aa8, 52)) == 23497384); + assert(unsigned(flip_mask(0x1668ab0, 52)) == 23497392); + assert(unsigned(flip_mask(0x1668ab8, 52)) == 23497400); + assert(unsigned(flip_mask(0x1668ac0, 52)) == 23497408); + assert(unsigned(flip_mask(0x1668ac8, 52)) == 23497416); + assert(unsigned(flip_mask(0x1668ad0, 52)) == 23497424); + assert(unsigned(flip_mask(0x1668ad8, 52)) == 23497432); + assert(unsigned(flip_mask(0x1668ae0, 52)) == 23497440); + assert(unsigned(flip_mask(0x1668ae8, 52)) == 23497448); + assert(unsigned(flip_mask(0x1668af0, 52)) == 23497456); + assert(unsigned(flip_mask(0x1668af8, 52)) == 23497464); + assert(unsigned(flip_mask(0x1668b00, 52)) == 23497472); + assert(unsigned(flip_mask(0x1668b08, 52)) == 23497480); + assert(unsigned(flip_mask(0x1668b10, 52)) == 23497488); + assert(unsigned(flip_mask(0x1668b18, 52)) == 23497496); + assert(unsigned(flip_mask(0x1668b20, 52)) == 23497504); + assert(unsigned(flip_mask(0x1668b28, 52)) == 23497512); + assert(unsigned(flip_mask(0x1668b30, 52)) == 23497520); + assert(unsigned(flip_mask(0x1668b38, 52)) == 23497528); + assert(unsigned(flip_mask(0x1668b40, 52)) == 23497536); + assert(unsigned(flip_mask(0x1668b48, 52)) == 23497544); + assert(unsigned(flip_mask(0x1668b50, 52)) == 23497552); + assert(unsigned(flip_mask(0x1668b58, 52)) == 23497560); + assert(unsigned(flip_mask(0x1668b60, 52)) == 23497568); + assert(unsigned(flip_mask(0x1668b68, 52)) == 23497576); + assert(unsigned(flip_mask(0x1668b70, 52)) == 23497584); + assert(unsigned(flip_mask(0x1668b78, 52)) == 23497592); + assert(unsigned(flip_mask(0x1668b80, 52)) == 23497600); + assert(unsigned(flip_mask(0x1668b88, 52)) == 23497608); + assert(unsigned(flip_mask(0x1668b90, 52)) == 23497616); + assert(unsigned(flip_mask(0x1668b98, 52)) == 23497624); + assert(unsigned(flip_mask(0x1668ba0, 52)) == 23497632); + assert(unsigned(flip_mask(0x1668ba8, 52)) == 23497640); + assert(unsigned(flip_mask(0x1668bb0, 52)) == 23497648); + assert(unsigned(flip_mask(0x1668bb8, 52)) == 23497656); + assert(unsigned(flip_mask(0x1668bc0, 52)) == 23497664); + assert(unsigned(flip_mask(0x1668bc8, 52)) == 23497672); + assert(unsigned(flip_mask(0x1668bd0, 52)) == 23497680); + assert(unsigned(flip_mask(0x1668bd8, 52)) == 23497688); + assert(unsigned(flip_mask(0x1668be0, 52)) == 23497696); + assert(unsigned(flip_mask(0x1668be8, 52)) == 23497704); + assert(unsigned(flip_mask(0x1668bf0, 52)) == 23497712); + assert(unsigned(flip_mask(0x1668bf8, 52)) == 23497720); + assert(unsigned(flip_mask(0x1668c00, 52)) == 23497728); + assert(unsigned(flip_mask(0x1668c08, 52)) == 23497736); + assert(unsigned(flip_mask(0x1668c10, 52)) == 23497744); + assert(unsigned(flip_mask(0x1668c18, 52)) == 23497752); + assert(unsigned(flip_mask(0x1668c20, 52)) == 23497760); + assert(unsigned(flip_mask(0x1668c28, 52)) == 23497768); + assert(unsigned(flip_mask(0x1668c30, 52)) == 23497776); + assert(unsigned(flip_mask(0x1668c38, 52)) == 23497784); + assert(unsigned(flip_mask(0x1668c40, 52)) == 23497792); + assert(unsigned(flip_mask(0x1668c48, 52)) == 23497800); + assert(unsigned(flip_mask(0x1668c50, 52)) == 23497808); + assert(unsigned(flip_mask(0x1668c58, 52)) == 23497816); + assert(unsigned(flip_mask(0x1668c60, 52)) == 23497824); + assert(unsigned(flip_mask(0x1668c68, 52)) == 23497832); + assert(unsigned(flip_mask(0x1668c70, 52)) == 23497840); + assert(unsigned(flip_mask(0x1668c78, 52)) == 23497848); + assert(unsigned(flip_mask(0x1668c80, 52)) == 23497856); + assert(unsigned(flip_mask(0x1668c88, 52)) == 23497864); + assert(unsigned(flip_mask(0x1668c90, 52)) == 23497872); + assert(unsigned(flip_mask(0x1668c98, 52)) == 23497880); + assert(unsigned(flip_mask(0x1668ca0, 52)) == 23497888); + assert(unsigned(flip_mask(0x1668ca8, 52)) == 23497896); + assert(unsigned(flip_mask(0x1668cb0, 52)) == 23497904); + assert(unsigned(flip_mask(0x1668cb8, 52)) == 23497912); + assert(unsigned(flip_mask(0x1668cc0, 52)) == 23497920); + assert(unsigned(flip_mask(0x1668cc8, 52)) == 23497928); + assert(unsigned(flip_mask(0x1668cd0, 52)) == 23497936); + assert(unsigned(flip_mask(0x1668cd8, 52)) == 23497944); + assert(unsigned(flip_mask(0x1668ce0, 52)) == 23497952); + assert(unsigned(flip_mask(0x1668ce8, 52)) == 23497960); + assert(unsigned(flip_mask(0x1668cf0, 52)) == 23497968); + assert(unsigned(flip_mask(0x1668cf8, 52)) == 23497976); + assert(unsigned(flip_mask(0x1668d00, 52)) == 23497984); + assert(unsigned(flip_mask(0x1668d08, 52)) == 23497992); + assert(unsigned(flip_mask(0x1668d10, 52)) == 23498000); + assert(unsigned(flip_mask(0x1668d18, 52)) == 23498008); + assert(unsigned(flip_mask(0x1668d20, 52)) == 23498016); + assert(unsigned(flip_mask(0x1668d28, 52)) == 23498024); + assert(unsigned(flip_mask(0x1668d30, 52)) == 23498032); + assert(unsigned(flip_mask(0x1668d38, 52)) == 23498040); + assert(unsigned(flip_mask(0x1668d40, 52)) == 23498048); + assert(unsigned(flip_mask(0x1668d48, 52)) == 23498056); + assert(unsigned(flip_mask(0x1668d50, 52)) == 23498064); + assert(unsigned(flip_mask(0x1668d58, 52)) == 23498072); + assert(unsigned(flip_mask(0x1668d60, 52)) == 23498080); + assert(unsigned(flip_mask(0x1668d68, 52)) == 23498088); + assert(unsigned(flip_mask(0x1668d70, 52)) == 23498096); + assert(unsigned(flip_mask(0x1668d78, 52)) == 23498104); + assert(unsigned(flip_mask(0x1668d80, 52)) == 23498112); + assert(unsigned(flip_mask(0x1668d88, 52)) == 23498120); + assert(unsigned(flip_mask(0x1668d90, 52)) == 23498128); + assert(unsigned(flip_mask(0x1668d98, 52)) == 23498136); + assert(unsigned(flip_mask(0x1668da0, 52)) == 23498144); + assert(unsigned(flip_mask(0x1668da8, 52)) == 23498152); + assert(unsigned(flip_mask(0x1668db0, 52)) == 23498160); + assert(unsigned(flip_mask(0x1668db8, 52)) == 23498168); + assert(unsigned(flip_mask(0x1668dc0, 52)) == 23498176); + assert(unsigned(flip_mask(0x1668dc8, 52)) == 23498184); + assert(unsigned(flip_mask(0x1668dd0, 52)) == 23498192); + assert(unsigned(flip_mask(0x1668dd8, 52)) == 23498200); + assert(unsigned(flip_mask(0x1668de0, 52)) == 23498208); + assert(unsigned(flip_mask(0x1668de8, 52)) == 23498216); + assert(unsigned(flip_mask(0x1668df0, 52)) == 23498224); + assert(unsigned(flip_mask(0x17000, 52)) == 94208); + assert(unsigned(flip_mask(0x17030, 52)) == 94256); + assert(unsigned(flip_mask(0x1800014, 52)) == 25165844); + assert(unsigned(flip_mask(0x1800018, 52)) == 25165848); + assert(unsigned(flip_mask(0x180001c, 52)) == 25165852); + assert(unsigned(flip_mask(0x1800020, 52)) == 25165856); + assert(unsigned(flip_mask(0x1800030, 52)) == 25165872); + assert(unsigned(flip_mask(0x1800054, 52)) == 25165908); + assert(unsigned(flip_mask(0x1800058, 52)) == 25165912); + assert(unsigned(flip_mask(0x1800068, 52)) == 25165928); + assert(unsigned(flip_mask(0x18000c8, 52)) == 25166024); + assert(unsigned(flip_mask(0x18002a0, 52)) == 25166496); + assert(unsigned(flip_mask(0x1802940, 52)) == 25176384); + assert(unsigned(flip_mask(0x1806b10, 52)) == 25193232); + assert(unsigned(flip_mask(0x1806b14, 52)) == 25193236); + assert(unsigned(flip_mask(0x1808d20, 52)) == 25201952); + assert(unsigned(flip_mask(0x1808d21, 52)) == 25201953); + assert(unsigned(flip_mask(0x1808d24, 52)) == 25201956); + assert(unsigned(flip_mask(0x1808d28, 52)) == 25201960); + assert(unsigned(flip_mask(0x1808d30, 52)) == 25201968); + assert(unsigned(flip_mask(0x1808d38, 52)) == 25201976); + assert(unsigned(flip_mask(0x1808d40, 52)) == 25201984); + assert(unsigned(flip_mask(0x1808d48, 52)) == 25201992); + assert(unsigned(flip_mask(0x1808d50, 52)) == 25202000); + assert(unsigned(flip_mask(0x1808d51, 52)) == 25202001); + assert(unsigned(flip_mask(0x1808d54, 52)) == 25202004); + assert(unsigned(flip_mask(0x1808d58, 52)) == 25202008); + assert(unsigned(flip_mask(0x1808d5c, 52)) == 25202012); + assert(unsigned(flip_mask(0x1808d60, 52)) == 25202016); + assert(unsigned(flip_mask(0x1808d64, 52)) == 25202020); + assert(unsigned(flip_mask(0x1808d68, 52)) == 25202024); + assert(unsigned(flip_mask(0x1808d6c, 52)) == 25202028); + assert(unsigned(flip_mask(0x1808d70, 52)) == 25202032); + assert(unsigned(flip_mask(0x1808d74, 52)) == 25202036); + assert(unsigned(flip_mask(0x1808d78, 52)) == 25202040); + assert(unsigned(flip_mask(0x1808d7c, 52)) == 25202044); + assert(unsigned(flip_mask(0x1808d80, 52)) == 25202048); + assert(unsigned(flip_mask(0x1808d84, 52)) == 25202052); + assert(unsigned(flip_mask(0x1808d88, 52)) == 25202056); + assert(unsigned(flip_mask(0x1808d8c, 52)) == 25202060); + assert(unsigned(flip_mask(0x1808d90, 52)) == 25202064); + assert(unsigned(flip_mask(0x1808d94, 52)) == 25202068); + assert(unsigned(flip_mask(0x1808d98, 52)) == 25202072); + assert(unsigned(flip_mask(0x1808d9c, 52)) == 25202076); + assert(unsigned(flip_mask(0x1808da0, 52)) == 25202080); + assert(unsigned(flip_mask(0x1808da4, 52)) == 25202084); + assert(unsigned(flip_mask(0x1808da8, 52)) == 25202088); + assert(unsigned(flip_mask(0x1808dac, 52)) == 25202092); + assert(unsigned(flip_mask(0x1808db0, 52)) == 25202096); + assert(unsigned(flip_mask(0x1808db4, 52)) == 25202100); + assert(unsigned(flip_mask(0x1808db8, 52)) == 25202104); + assert(unsigned(flip_mask(0x1808dbc, 52)) == 25202108); + assert(unsigned(flip_mask(0x1808dc0, 52)) == 25202112); + assert(unsigned(flip_mask(0x1808dc4, 52)) == 25202116); + assert(unsigned(flip_mask(0x1808dc8, 52)) == 25202120); + assert(unsigned(flip_mask(0x1808dcc, 52)) == 25202124); + assert(unsigned(flip_mask(0x1808dd0, 52)) == 25202128); + assert(unsigned(flip_mask(0x1808dd4, 52)) == 25202132); + assert(unsigned(flip_mask(0x1808dd8, 52)) == 25202136); + assert(unsigned(flip_mask(0x1808ddc, 52)) == 25202140); + assert(unsigned(flip_mask(0x1808de0, 52)) == 25202144); + assert(unsigned(flip_mask(0x1808de4, 52)) == 25202148); + assert(unsigned(flip_mask(0x1808de8, 52)) == 25202152); + assert(unsigned(flip_mask(0x1808dec, 52)) == 25202156); + assert(unsigned(flip_mask(0x1808df0, 52)) == 25202160); + assert(unsigned(flip_mask(0x1808df8, 52)) == 25202168); + assert(unsigned(flip_mask(0x1808e00, 52)) == 25202176); + assert(unsigned(flip_mask(0x1808e08, 52)) == 25202184); + assert(unsigned(flip_mask(0x1808e10, 52)) == 25202192); + assert(unsigned(flip_mask(0x1808e18, 52)) == 25202200); + assert(unsigned(flip_mask(0x1808e20, 52)) == 25202208); + assert(unsigned(flip_mask(0x1808e28, 52)) == 25202216); + assert(unsigned(flip_mask(0x1808e30, 52)) == 25202224); + assert(unsigned(flip_mask(0x1808e38, 52)) == 25202232); + assert(unsigned(flip_mask(0x1c428, 52)) == 115752); + assert(unsigned(flip_mask(0x2000011, 52)) == 33554449); + assert(unsigned(flip_mask(0x2000012, 52)) == 33554450); + assert(unsigned(flip_mask(0x2000013, 52)) == 33554451); + assert(unsigned(flip_mask(0x2000018, 52)) == 33554456); + assert(unsigned(flip_mask(0x200003b, 52)) == 33554491); + assert(unsigned(flip_mask(0x200003c, 52)) == 33554492); + assert(unsigned(flip_mask(0x200003d, 52)) == 33554493); + assert(unsigned(flip_mask(0x2000040, 52)) == 33554496); + assert(unsigned(flip_mask(0x200004c, 52)) == 33554508); + assert(unsigned(flip_mask(0x200004d, 52)) == 33554509); + assert(unsigned(flip_mask(0x200004e, 52)) == 33554510); + assert(unsigned(flip_mask(0x2000050, 52)) == 33554512); + assert(unsigned(flip_mask(0x20002c0, 52)) == 33555136); + assert(unsigned(flip_mask(0x20002c8, 52)) == 33555144); + assert(unsigned(flip_mask(0x20002d0, 52)) == 33555152); + assert(unsigned(flip_mask(0x20002d8, 52)) == 33555160); + assert(unsigned(flip_mask(0x20002e0, 52)) == 33555168); + assert(unsigned(flip_mask(0x20002e8, 52)) == 33555176); + assert(unsigned(flip_mask(0x20002f0, 52)) == 33555184); + assert(unsigned(flip_mask(0x20002f8, 52)) == 33555192); + assert(unsigned(flip_mask(0x2000300, 52)) == 33555200); + assert(unsigned(flip_mask(0x2000310, 52)) == 33555216); + assert(unsigned(flip_mask(0x2000318, 52)) == 33555224); + assert(unsigned(flip_mask(0x2000320, 52)) == 33555232); + assert(unsigned(flip_mask(0x2000328, 52)) == 33555240); + assert(unsigned(flip_mask(0x2000330, 52)) == 33555248); + assert(unsigned(flip_mask(0x2000338, 52)) == 33555256); + assert(unsigned(flip_mask(0x2000340, 52)) == 33555264); + assert(unsigned(flip_mask(0x2000350, 52)) == 33555280); + assert(unsigned(flip_mask(0x2000358, 52)) == 33555288); + assert(unsigned(flip_mask(0x2000360, 52)) == 33555296); + assert(unsigned(flip_mask(0x2000368, 52)) == 33555304); + assert(unsigned(flip_mask(0x20003a0, 52)) == 33555360); + assert(unsigned(flip_mask(0x20003a8, 52)) == 33555368); + assert(unsigned(flip_mask(0x20003b0, 52)) == 33555376); + assert(unsigned(flip_mask(0x20003b4, 52)) == 33555380); + assert(unsigned(flip_mask(0x20003b8, 52)) == 33555384); + assert(unsigned(flip_mask(0x20003bc, 52)) == 33555388); + assert(unsigned(flip_mask(0x20003c0, 52)) == 33555392); + assert(unsigned(flip_mask(0x20003c4, 52)) == 33555396); + assert(unsigned(flip_mask(0x20003c8, 52)) == 33555400); + assert(unsigned(flip_mask(0x20003cc, 52)) == 33555404); + assert(unsigned(flip_mask(0x20003d0, 52)) == 33555408); + assert(unsigned(flip_mask(0x20003d4, 52)) == 33555412); + assert(unsigned(flip_mask(0x20003d8, 52)) == 33555416); + assert(unsigned(flip_mask(0x20003dc, 52)) == 33555420); + assert(unsigned(flip_mask(0x20003e0, 52)) == 33555424); + assert(unsigned(flip_mask(0x20003e4, 52)) == 33555428); + assert(unsigned(flip_mask(0x20003e8, 52)) == 33555432); + assert(unsigned(flip_mask(0x20003ec, 52)) == 33555436); + assert(unsigned(flip_mask(0x20003f0, 52)) == 33555440); + assert(unsigned(flip_mask(0x20003f8, 52)) == 33555448); + assert(unsigned(flip_mask(0x2000400, 52)) == 33555456); + assert(unsigned(flip_mask(0x2000408, 52)) == 33555464); + assert(unsigned(flip_mask(0x2000410, 52)) == 33555472); + assert(unsigned(flip_mask(0x2000418, 52)) == 33555480); + assert(unsigned(flip_mask(0x2000420, 52)) == 33555488); + assert(unsigned(flip_mask(0x2000428, 52)) == 33555496); + assert(unsigned(flip_mask(0x2000430, 52)) == 33555504); + assert(unsigned(flip_mask(0x2000438, 52)) == 33555512); + assert(unsigned(flip_mask(0x2000440, 52)) == 33555520); + assert(unsigned(flip_mask(0x2000448, 52)) == 33555528); + assert(unsigned(flip_mask(0x2000450, 52)) == 33555536); + assert(unsigned(flip_mask(0x2000458, 52)) == 33555544); + assert(unsigned(flip_mask(0x2008060, 52)) == 33587296); + assert(unsigned(flip_mask(0x2008064, 52)) == 33587300); + assert(unsigned(flip_mask(0x2008068, 52)) == 33587304); + assert(unsigned(flip_mask(0x2008070, 52)) == 33587312); + assert(unsigned(flip_mask(0x2008078, 52)) == 33587320); + assert(unsigned(flip_mask(0x2008080, 52)) == 33587328); + assert(unsigned(flip_mask(0x2008140, 52)) == 33587520); + assert(unsigned(flip_mask(0x2008148, 52)) == 33587528); + assert(unsigned(flip_mask(0x2008248, 52)) == 33587784); + assert(unsigned(flip_mask(0x2008250, 52)) == 33587792); + assert(unsigned(flip_mask(0x2008a00, 52)) == 33589760); + assert(unsigned(flip_mask(0x2008a04, 52)) == 33589764); + assert(unsigned(flip_mask(0x2008a08, 52)) == 33589768); + assert(unsigned(flip_mask(0x2008a10, 52)) == 33589776); + assert(unsigned(flip_mask(0x2008a18, 52)) == 33589784); + assert(unsigned(flip_mask(0x2008a20, 52)) == 33589792); + assert(unsigned(flip_mask(0x2008a70, 52)) == 33589872); + assert(unsigned(flip_mask(0x2008a78, 52)) == 33589880); + assert(unsigned(flip_mask(0x2008b78, 52)) == 33590136); + assert(unsigned(flip_mask(0x2008b80, 52)) == 33590144); + assert(unsigned(flip_mask(0x200d880, 52)) == 33609856); + assert(unsigned(flip_mask(0x200d888, 52)) == 33609864); + assert(unsigned(flip_mask(0x200d890, 52)) == 33609872); + assert(unsigned(flip_mask(0x200d898, 52)) == 33609880); + assert(unsigned(flip_mask(0x200d8a0, 52)) == 33609888); + assert(unsigned(flip_mask(0x200d8a8, 52)) == 33609896); + assert(unsigned(flip_mask(0x200d8b0, 52)) == 33609904); + assert(unsigned(flip_mask(0x200d8b8, 52)) == 33609912); + assert(unsigned(flip_mask(0x200d8c0, 52)) == 33609920); + assert(unsigned(flip_mask(0x200d8c8, 52)) == 33609928); + assert(unsigned(flip_mask(0x200d8d0, 52)) == 33609936); + assert(unsigned(flip_mask(0x200d8d8, 52)) == 33609944); + assert(unsigned(flip_mask(0x200d8e0, 52)) == 33609952); + assert(unsigned(flip_mask(0x200d8e8, 52)) == 33609960); + assert(unsigned(flip_mask(0x200d8f0, 52)) == 33609968); + assert(unsigned(flip_mask(0x200d8f8, 52)) == 33609976); + assert(unsigned(flip_mask(0x200d900, 52)) == 33609984); + assert(unsigned(flip_mask(0x200d908, 52)) == 33609992); + assert(unsigned(flip_mask(0x200d960, 52)) == 33610080); + assert(unsigned(flip_mask(0x200d968, 52)) == 33610088); + assert(unsigned(flip_mask(0x200d970, 52)) == 33610096); + assert(unsigned(flip_mask(0x200d974, 52)) == 33610100); + assert(unsigned(flip_mask(0x200d978, 52)) == 33610104); + assert(unsigned(flip_mask(0x200d97c, 52)) == 33610108); + assert(unsigned(flip_mask(0x200d980, 52)) == 33610112); + assert(unsigned(flip_mask(0x200d984, 52)) == 33610116); + assert(unsigned(flip_mask(0x200d988, 52)) == 33610120); + assert(unsigned(flip_mask(0x200d98c, 52)) == 33610124); + assert(unsigned(flip_mask(0x200d990, 52)) == 33610128); + assert(unsigned(flip_mask(0x200d994, 52)) == 33610132); + assert(unsigned(flip_mask(0x200d998, 52)) == 33610136); + assert(unsigned(flip_mask(0x200d99c, 52)) == 33610140); + assert(unsigned(flip_mask(0x200d9a0, 52)) == 33610144); + assert(unsigned(flip_mask(0x200d9a4, 52)) == 33610148); + assert(unsigned(flip_mask(0x200d9a8, 52)) == 33610152); + assert(unsigned(flip_mask(0x200d9ac, 52)) == 33610156); + assert(unsigned(flip_mask(0x200d9b0, 52)) == 33610160); + assert(unsigned(flip_mask(0x200d9b8, 52)) == 33610168); + assert(unsigned(flip_mask(0x200d9c0, 52)) == 33610176); + assert(unsigned(flip_mask(0x200d9c8, 52)) == 33610184); + assert(unsigned(flip_mask(0x200d9d0, 52)) == 33610192); + assert(unsigned(flip_mask(0x200d9d8, 52)) == 33610200); + assert(unsigned(flip_mask(0x200d9e0, 52)) == 33610208); + assert(unsigned(flip_mask(0x200d9e8, 52)) == 33610216); + assert(unsigned(flip_mask(0x200d9f0, 52)) == 33610224); + assert(unsigned(flip_mask(0x200d9f8, 52)) == 33610232); + assert(unsigned(flip_mask(0x200da00, 52)) == 33610240); + assert(unsigned(flip_mask(0x200da08, 52)) == 33610248); + assert(unsigned(flip_mask(0x2015610, 52)) == 33642000); + assert(unsigned(flip_mask(0x2015618, 52)) == 33642008); + assert(unsigned(flip_mask(0x2015624, 52)) == 33642020); + assert(unsigned(flip_mask(0x2015628, 52)) == 33642024); + assert(unsigned(flip_mask(0x2015630, 52)) == 33642032); + assert(unsigned(flip_mask(0x2015638, 52)) == 33642040); + assert(unsigned(flip_mask(0x201563c, 52)) == 33642044); + assert(unsigned(flip_mask(0x2015640, 52)) == 33642048); + assert(unsigned(flip_mask(0x2015648, 52)) == 33642056); + assert(unsigned(flip_mask(0x2015650, 52)) == 33642064); + assert(unsigned(flip_mask(0x2015658, 52)) == 33642072); + assert(unsigned(flip_mask(0x2015668, 52)) == 33642088); + assert(unsigned(flip_mask(0x2015670, 52)) == 33642096); + assert(unsigned(flip_mask(0x2015678, 52)) == 33642104); + assert(unsigned(flip_mask(0x2015778, 52)) == 33642360); + assert(unsigned(flip_mask(0x2015780, 52)) == 33642368); + assert(unsigned(flip_mask(0x2015b50, 52)) == 33643344); + assert(unsigned(flip_mask(0x2015b58, 52)) == 33643352); + assert(unsigned(flip_mask(0x2015c58, 52)) == 33643608); + assert(unsigned(flip_mask(0x2015c60, 52)) == 33643616); + assert(unsigned(flip_mask(0x2019d80, 52)) == 33660288); + assert(unsigned(flip_mask(0x2019d84, 52)) == 33660292); + assert(unsigned(flip_mask(0x2019d88, 52)) == 33660296); + assert(unsigned(flip_mask(0x2019d8c, 52)) == 33660300); + assert(unsigned(flip_mask(0x2019d90, 52)) == 33660304); + assert(unsigned(flip_mask(0x2019d98, 52)) == 33660312); + assert(unsigned(flip_mask(0x2019da0, 52)) == 33660320); + assert(unsigned(flip_mask(0x2019da8, 52)) == 33660328); + assert(unsigned(flip_mask(0x2019db8, 52)) == 33660344); + assert(unsigned(flip_mask(0x2019dc0, 52)) == 33660352); + assert(unsigned(flip_mask(0x2019dc8, 52)) == 33660360); + assert(unsigned(flip_mask(0x2019ed0, 52)) == 33660624); + assert(unsigned(flip_mask(0x201a280, 52)) == 33661568); + assert(unsigned(flip_mask(0x201a284, 52)) == 33661572); + assert(unsigned(flip_mask(0x201a288, 52)) == 33661576); + assert(unsigned(flip_mask(0x201a28c, 52)) == 33661580); + assert(unsigned(flip_mask(0x201a290, 52)) == 33661584); + assert(unsigned(flip_mask(0x201a298, 52)) == 33661592); + assert(unsigned(flip_mask(0x201a2a0, 52)) == 33661600); + assert(unsigned(flip_mask(0x201a2a8, 52)) == 33661608); + assert(unsigned(flip_mask(0x201a2b8, 52)) == 33661624); + assert(unsigned(flip_mask(0x201a2c0, 52)) == 33661632); + assert(unsigned(flip_mask(0x201a2c8, 52)) == 33661640); + assert(unsigned(flip_mask(0x201a3c8, 52)) == 33661896); + assert(unsigned(flip_mask(0x201a3d0, 52)) == 33661904); + assert(unsigned(flip_mask(0x201a4f0, 52)) == 33662192); + assert(unsigned(flip_mask(0x201a780, 52)) == 33662848); + assert(unsigned(flip_mask(0x201a784, 52)) == 33662852); + assert(unsigned(flip_mask(0x201a788, 52)) == 33662856); + assert(unsigned(flip_mask(0x201a790, 52)) == 33662864); + assert(unsigned(flip_mask(0x201a798, 52)) == 33662872); + assert(unsigned(flip_mask(0x201a7a0, 52)) == 33662880); + assert(unsigned(flip_mask(0x201a7a4, 52)) == 33662884); + assert(unsigned(flip_mask(0x201a7ac, 52)) == 33662892); + assert(unsigned(flip_mask(0x201a7b0, 52)) == 33662896); + assert(unsigned(flip_mask(0x201a7b8, 52)) == 33662904); + assert(unsigned(flip_mask(0x201a7c0, 52)) == 33662912); + assert(unsigned(flip_mask(0x201a7c8, 52)) == 33662920); + assert(unsigned(flip_mask(0x201a7d8, 52)) == 33662936); + assert(unsigned(flip_mask(0x201a7e0, 52)) == 33662944); + assert(unsigned(flip_mask(0x201a8e0, 52)) == 33663200); + assert(unsigned(flip_mask(0x201a8e8, 52)) == 33663208); + assert(unsigned(flip_mask(0x201aa08, 52)) == 33663496); + assert(unsigned(flip_mask(0x201acb0, 52)) == 33664176); + assert(unsigned(flip_mask(0x201acb8, 52)) == 33664184); + assert(unsigned(flip_mask(0x201adb8, 52)) == 33664440); + assert(unsigned(flip_mask(0x201adc0, 52)) == 33664448); + assert(unsigned(flip_mask(0x201aee0, 52)) == 33664736); + assert(unsigned(flip_mask(0x201aee4, 52)) == 33664740); + assert(unsigned(flip_mask(0x201aee8, 52)) == 33664744); + assert(unsigned(flip_mask(0x201b150, 52)) == 33665360); + assert(unsigned(flip_mask(0x201b158, 52)) == 33665368); + assert(unsigned(flip_mask(0x201b160, 52)) == 33665376); + assert(unsigned(flip_mask(0x201b168, 52)) == 33665384); + assert(unsigned(flip_mask(0x201b170, 52)) == 33665392); + assert(unsigned(flip_mask(0x201b178, 52)) == 33665400); + assert(unsigned(flip_mask(0x201b180, 52)) == 33665408); + assert(unsigned(flip_mask(0x201b188, 52)) == 33665416); + assert(unsigned(flip_mask(0x201b190, 52)) == 33665424); + assert(unsigned(flip_mask(0x201b1a0, 52)) == 33665440); + assert(unsigned(flip_mask(0x201b1a8, 52)) == 33665448); + assert(unsigned(flip_mask(0x201b1b0, 52)) == 33665456); + assert(unsigned(flip_mask(0x201b1b8, 52)) == 33665464); + assert(unsigned(flip_mask(0x201b1c0, 52)) == 33665472); + assert(unsigned(flip_mask(0x201b1c8, 52)) == 33665480); + assert(unsigned(flip_mask(0x201b1d0, 52)) == 33665488); + assert(unsigned(flip_mask(0x201b1d8, 52)) == 33665496); + assert(unsigned(flip_mask(0x201b1e0, 52)) == 33665504); + assert(unsigned(flip_mask(0x201b1e8, 52)) == 33665512); + assert(unsigned(flip_mask(0x201b1f0, 52)) == 33665520); + assert(unsigned(flip_mask(0x201b1f8, 52)) == 33665528); + assert(unsigned(flip_mask(0x201b240, 52)) == 33665600); + assert(unsigned(flip_mask(0x201b248, 52)) == 33665608); + assert(unsigned(flip_mask(0x201b250, 52)) == 33665616); + assert(unsigned(flip_mask(0x201b254, 52)) == 33665620); + assert(unsigned(flip_mask(0x201b258, 52)) == 33665624); + assert(unsigned(flip_mask(0x201b25c, 52)) == 33665628); + assert(unsigned(flip_mask(0x201b260, 52)) == 33665632); + assert(unsigned(flip_mask(0x201b264, 52)) == 33665636); + assert(unsigned(flip_mask(0x201b268, 52)) == 33665640); + assert(unsigned(flip_mask(0x201b26c, 52)) == 33665644); + assert(unsigned(flip_mask(0x201b270, 52)) == 33665648); + assert(unsigned(flip_mask(0x201b274, 52)) == 33665652); + assert(unsigned(flip_mask(0x201b278, 52)) == 33665656); + assert(unsigned(flip_mask(0x201b27c, 52)) == 33665660); + assert(unsigned(flip_mask(0x201b280, 52)) == 33665664); + assert(unsigned(flip_mask(0x201b284, 52)) == 33665668); + assert(unsigned(flip_mask(0x201b288, 52)) == 33665672); + assert(unsigned(flip_mask(0x201b28c, 52)) == 33665676); + assert(unsigned(flip_mask(0x201b290, 52)) == 33665680); + assert(unsigned(flip_mask(0x201b298, 52)) == 33665688); + assert(unsigned(flip_mask(0x201b2a0, 52)) == 33665696); + assert(unsigned(flip_mask(0x201b2a8, 52)) == 33665704); + assert(unsigned(flip_mask(0x201b2b0, 52)) == 33665712); + assert(unsigned(flip_mask(0x201b2b8, 52)) == 33665720); + assert(unsigned(flip_mask(0x201b2c0, 52)) == 33665728); + assert(unsigned(flip_mask(0x201b2c8, 52)) == 33665736); + assert(unsigned(flip_mask(0x201b2d0, 52)) == 33665744); + assert(unsigned(flip_mask(0x201b2d8, 52)) == 33665752); + assert(unsigned(flip_mask(0x201b2e0, 52)) == 33665760); + assert(unsigned(flip_mask(0x201b2e8, 52)) == 33665768); + assert(unsigned(flip_mask(0x201b2f0, 52)) == 33665776); + assert(unsigned(flip_mask(0x201b2f8, 52)) == 33665784); + assert(unsigned(flip_mask(0x20800, 52)) == 133120); + assert(unsigned(flip_mask(0x210ec4, 52)) == 2166468); + assert(unsigned(flip_mask(0x210ec8, 52)) == 2166472); + assert(unsigned(flip_mask(0x210ecc, 52)) == 2166476); + assert(unsigned(flip_mask(0x210ed0, 52)) == 2166480); + assert(unsigned(flip_mask(0x210ed4, 52)) == 2166484); + assert(unsigned(flip_mask(0x210ed8, 52)) == 2166488); + assert(unsigned(flip_mask(0x210edc, 52)) == 2166492); + assert(unsigned(flip_mask(0x210ee0, 52)) == 2166496); + assert(unsigned(flip_mask(0x210ee4, 52)) == 2166500); + assert(unsigned(flip_mask(0x210ee8, 52)) == 2166504); + assert(unsigned(flip_mask(0x210eec, 52)) == 2166508); + assert(unsigned(flip_mask(0x210ef0, 52)) == 2166512); + assert(unsigned(flip_mask(0x210ef4, 52)) == 2166516); + assert(unsigned(flip_mask(0x210ef8, 52)) == 2166520); + assert(unsigned(flip_mask(0x210efc, 52)) == 2166524); + assert(unsigned(flip_mask(0x210f00, 52)) == 2166528); + assert(unsigned(flip_mask(0x210f04, 52)) == 2166532); + assert(unsigned(flip_mask(0x210f08, 52)) == 2166536); + assert(unsigned(flip_mask(0x210f0c, 52)) == 2166540); + assert(unsigned(flip_mask(0x210f10, 52)) == 2166544); + assert(unsigned(flip_mask(0x210f14, 52)) == 2166548); + assert(unsigned(flip_mask(0x210f18, 52)) == 2166552); + assert(unsigned(flip_mask(0x210f1c, 52)) == 2166556); + assert(unsigned(flip_mask(0x210f20, 52)) == 2166560); + assert(unsigned(flip_mask(0x210f24, 52)) == 2166564); + assert(unsigned(flip_mask(0x210f28, 52)) == 2166568); + assert(unsigned(flip_mask(0x210f2c, 52)) == 2166572); + assert(unsigned(flip_mask(0x210f30, 52)) == 2166576); + assert(unsigned(flip_mask(0x210f34, 52)) == 2166580); + assert(unsigned(flip_mask(0x210f38, 52)) == 2166584); + assert(unsigned(flip_mask(0x210f3c, 52)) == 2166588); + assert(unsigned(flip_mask(0x210f40, 52)) == 2166592); + assert(unsigned(flip_mask(0x210f44, 52)) == 2166596); + assert(unsigned(flip_mask(0x210f48, 52)) == 2166600); + assert(unsigned(flip_mask(0x210f4c, 52)) == 2166604); + assert(unsigned(flip_mask(0x210f50, 52)) == 2166608); + assert(unsigned(flip_mask(0x210f54, 52)) == 2166612); + assert(unsigned(flip_mask(0x210f58, 52)) == 2166616); + assert(unsigned(flip_mask(0x210f5c, 52)) == 2166620); + assert(unsigned(flip_mask(0x210f60, 52)) == 2166624); + assert(unsigned(flip_mask(0x210f64, 52)) == 2166628); + assert(unsigned(flip_mask(0x210f68, 52)) == 2166632); + assert(unsigned(flip_mask(0x210f6c, 52)) == 2166636); + assert(unsigned(flip_mask(0x211150, 52)) == 2167120); + assert(unsigned(flip_mask(0x212570, 52)) == 2172272); + assert(unsigned(flip_mask(0x212574, 52)) == 2172276); + assert(unsigned(flip_mask(0x212578, 52)) == 2172280); + assert(unsigned(flip_mask(0x21257c, 52)) == 2172284); + assert(unsigned(flip_mask(0x212580, 52)) == 2172288); + assert(unsigned(flip_mask(0x212584, 52)) == 2172292); + assert(unsigned(flip_mask(0x212588, 52)) == 2172296); + assert(unsigned(flip_mask(0x21258c, 52)) == 2172300); + assert(unsigned(flip_mask(0x212590, 52)) == 2172304); + assert(unsigned(flip_mask(0x212594, 52)) == 2172308); + assert(unsigned(flip_mask(0x212598, 52)) == 2172312); + assert(unsigned(flip_mask(0x21259c, 52)) == 2172316); + assert(unsigned(flip_mask(0x2125a0, 52)) == 2172320); + assert(unsigned(flip_mask(0x2125a4, 52)) == 2172324); + assert(unsigned(flip_mask(0x2125a8, 52)) == 2172328); + assert(unsigned(flip_mask(0x2125ac, 52)) == 2172332); + assert(unsigned(flip_mask(0x2125b0, 52)) == 2172336); + assert(unsigned(flip_mask(0x2125b4, 52)) == 2172340); + assert(unsigned(flip_mask(0x2125b8, 52)) == 2172344); + assert(unsigned(flip_mask(0x2125bc, 52)) == 2172348); + assert(unsigned(flip_mask(0x2125c0, 52)) == 2172352); + assert(unsigned(flip_mask(0x2125c4, 52)) == 2172356); + assert(unsigned(flip_mask(0x2125c8, 52)) == 2172360); + assert(unsigned(flip_mask(0x2125cc, 52)) == 2172364); + assert(unsigned(flip_mask(0x2125d0, 52)) == 2172368); + assert(unsigned(flip_mask(0x2125d4, 52)) == 2172372); + assert(unsigned(flip_mask(0x2125d8, 52)) == 2172376); + assert(unsigned(flip_mask(0x2125dc, 52)) == 2172380); + assert(unsigned(flip_mask(0x2125e0, 52)) == 2172384); + assert(unsigned(flip_mask(0x2125e4, 52)) == 2172388); + assert(unsigned(flip_mask(0x2125e8, 52)) == 2172392); + assert(unsigned(flip_mask(0x2125ec, 52)) == 2172396); + assert(unsigned(flip_mask(0x2125f0, 52)) == 2172400); + assert(unsigned(flip_mask(0x2125f4, 52)) == 2172404); + assert(unsigned(flip_mask(0x2125f8, 52)) == 2172408); + assert(unsigned(flip_mask(0x2125fc, 52)) == 2172412); + assert(unsigned(flip_mask(0x212600, 52)) == 2172416); + assert(unsigned(flip_mask(0x212604, 52)) == 2172420); + assert(unsigned(flip_mask(0x212608, 52)) == 2172424); + assert(unsigned(flip_mask(0x21260c, 52)) == 2172428); + assert(unsigned(flip_mask(0x212610, 52)) == 2172432); + assert(unsigned(flip_mask(0x212620, 52)) == 2172448); + assert(unsigned(flip_mask(0x212860, 52)) == 2173024); + assert(unsigned(flip_mask(0x214400, 52)) == 2180096); + assert(unsigned(flip_mask(0x214ab4, 52)) == 2181812); + assert(unsigned(flip_mask(0x214ab8, 52)) == 2181816); + assert(unsigned(flip_mask(0x214abc, 52)) == 2181820); + assert(unsigned(flip_mask(0x214ac0, 52)) == 2181824); + assert(unsigned(flip_mask(0x214ac4, 52)) == 2181828); + assert(unsigned(flip_mask(0x214ac8, 52)) == 2181832); + assert(unsigned(flip_mask(0x214ad4, 52)) == 2181844); + assert(unsigned(flip_mask(0x214ad8, 52)) == 2181848); + assert(unsigned(flip_mask(0x214adc, 52)) == 2181852); + assert(unsigned(flip_mask(0x214ae0, 52)) == 2181856); + assert(unsigned(flip_mask(0x214ae4, 52)) == 2181860); + assert(unsigned(flip_mask(0x214ae8, 52)) == 2181864); + assert(unsigned(flip_mask(0x214aec, 52)) == 2181868); + assert(unsigned(flip_mask(0x214af0, 52)) == 2181872); + assert(unsigned(flip_mask(0x214af4, 52)) == 2181876); + assert(unsigned(flip_mask(0x214af8, 52)) == 2181880); + assert(unsigned(flip_mask(0x214afc, 52)) == 2181884); + assert(unsigned(flip_mask(0x214b00, 52)) == 2181888); + assert(unsigned(flip_mask(0x214b04, 52)) == 2181892); + assert(unsigned(flip_mask(0x214b88, 52)) == 2182024); + assert(unsigned(flip_mask(0x214b8c, 52)) == 2182028); + assert(unsigned(flip_mask(0x214b90, 52)) == 2182032); + assert(unsigned(flip_mask(0x214b94, 52)) == 2182036); + assert(unsigned(flip_mask(0x214b98, 52)) == 2182040); + assert(unsigned(flip_mask(0x214b9c, 52)) == 2182044); + assert(unsigned(flip_mask(0x214ba0, 52)) == 2182048); + assert(unsigned(flip_mask(0x214ba4, 52)) == 2182052); + assert(unsigned(flip_mask(0x214ba8, 52)) == 2182056); + assert(unsigned(flip_mask(0x214bac, 52)) == 2182060); + assert(unsigned(flip_mask(0x214bb0, 52)) == 2182064); + assert(unsigned(flip_mask(0x214bb4, 52)) == 2182068); + assert(unsigned(flip_mask(0x214bb8, 52)) == 2182072); + assert(unsigned(flip_mask(0x214bbc, 52)) == 2182076); + assert(unsigned(flip_mask(0x214d64, 52)) == 2182500); + assert(unsigned(flip_mask(0x214d68, 52)) == 2182504); + assert(unsigned(flip_mask(0x214d6c, 52)) == 2182508); + assert(unsigned(flip_mask(0x214d70, 52)) == 2182512); + assert(unsigned(flip_mask(0x214d74, 52)) == 2182516); + assert(unsigned(flip_mask(0x214d78, 52)) == 2182520); + assert(unsigned(flip_mask(0x214d7c, 52)) == 2182524); + assert(unsigned(flip_mask(0x214d80, 52)) == 2182528); + assert(unsigned(flip_mask(0x214d84, 52)) == 2182532); + assert(unsigned(flip_mask(0x214d88, 52)) == 2182536); + assert(unsigned(flip_mask(0x214d8c, 52)) == 2182540); + assert(unsigned(flip_mask(0x214d90, 52)) == 2182544); + assert(unsigned(flip_mask(0x214d94, 52)) == 2182548); + assert(unsigned(flip_mask(0x214d98, 52)) == 2182552); + assert(unsigned(flip_mask(0x214d9c, 52)) == 2182556); + assert(unsigned(flip_mask(0x214da0, 52)) == 2182560); + assert(unsigned(flip_mask(0x214da4, 52)) == 2182564); + assert(unsigned(flip_mask(0x214da8, 52)) == 2182568); + assert(unsigned(flip_mask(0x214dac, 52)) == 2182572); + assert(unsigned(flip_mask(0x214db0, 52)) == 2182576); + assert(unsigned(flip_mask(0x214db4, 52)) == 2182580); + assert(unsigned(flip_mask(0x214db8, 52)) == 2182584); + assert(unsigned(flip_mask(0x214dbc, 52)) == 2182588); + assert(unsigned(flip_mask(0x214dc0, 52)) == 2182592); + assert(unsigned(flip_mask(0x214dc4, 52)) == 2182596); + assert(unsigned(flip_mask(0x214dc8, 52)) == 2182600); + assert(unsigned(flip_mask(0x214dcc, 52)) == 2182604); + assert(unsigned(flip_mask(0x214dd0, 52)) == 2182608); + assert(unsigned(flip_mask(0x214dd4, 52)) == 2182612); + assert(unsigned(flip_mask(0x214dd8, 52)) == 2182616); + assert(unsigned(flip_mask(0x214ddc, 52)) == 2182620); + assert(unsigned(flip_mask(0x214de0, 52)) == 2182624); + assert(unsigned(flip_mask(0x214de4, 52)) == 2182628); + assert(unsigned(flip_mask(0x214de8, 52)) == 2182632); + assert(unsigned(flip_mask(0x214dec, 52)) == 2182636); + assert(unsigned(flip_mask(0x214df0, 52)) == 2182640); + assert(unsigned(flip_mask(0x214df4, 52)) == 2182644); + assert(unsigned(flip_mask(0x214df8, 52)) == 2182648); + assert(unsigned(flip_mask(0x214dfc, 52)) == 2182652); + assert(unsigned(flip_mask(0x214e00, 52)) == 2182656); + assert(unsigned(flip_mask(0x214e04, 52)) == 2182660); + assert(unsigned(flip_mask(0x214e08, 52)) == 2182664); + assert(unsigned(flip_mask(0x216240, 52)) == 2187840); + assert(unsigned(flip_mask(0x216244, 52)) == 2187844); + assert(unsigned(flip_mask(0x216310, 52)) == 2188048); + assert(unsigned(flip_mask(0x216314, 52)) == 2188052); + assert(unsigned(flip_mask(0x216318, 52)) == 2188056); + assert(unsigned(flip_mask(0x21631c, 52)) == 2188060); + assert(unsigned(flip_mask(0x216320, 52)) == 2188064); + assert(unsigned(flip_mask(0x216324, 52)) == 2188068); + assert(unsigned(flip_mask(0x216328, 52)) == 2188072); + assert(unsigned(flip_mask(0x21632c, 52)) == 2188076); + assert(unsigned(flip_mask(0x216330, 52)) == 2188080); + assert(unsigned(flip_mask(0x216334, 52)) == 2188084); + assert(unsigned(flip_mask(0x216368, 52)) == 2188136); + assert(unsigned(flip_mask(0x21636c, 52)) == 2188140); + assert(unsigned(flip_mask(0x216384, 52)) == 2188164); + assert(unsigned(flip_mask(0x216388, 52)) == 2188168); + assert(unsigned(flip_mask(0x2163c0, 52)) == 2188224); + assert(unsigned(flip_mask(0x2163c4, 52)) == 2188228); + assert(unsigned(flip_mask(0x2163d0, 52)) == 2188240); + assert(unsigned(flip_mask(0x2163d4, 52)) == 2188244); + assert(unsigned(flip_mask(0x2163e0, 52)) == 2188256); + assert(unsigned(flip_mask(0x2163e4, 52)) == 2188260); + assert(unsigned(flip_mask(0x2163f0, 52)) == 2188272); + assert(unsigned(flip_mask(0x2163f4, 52)) == 2188276); + assert(unsigned(flip_mask(0x2163f8, 52)) == 2188280); + assert(unsigned(flip_mask(0x2163fc, 52)) == 2188284); + assert(unsigned(flip_mask(0x216400, 52)) == 2188288); + assert(unsigned(flip_mask(0x216404, 52)) == 2188292); + assert(unsigned(flip_mask(0x216408, 52)) == 2188296); + assert(unsigned(flip_mask(0x21640c, 52)) == 2188300); + assert(unsigned(flip_mask(0x216420, 52)) == 2188320); + assert(unsigned(flip_mask(0x216424, 52)) == 2188324); + assert(unsigned(flip_mask(0x216428, 52)) == 2188328); + assert(unsigned(flip_mask(0x21642c, 52)) == 2188332); + assert(unsigned(flip_mask(0x21644c, 52)) == 2188364); + assert(unsigned(flip_mask(0x216450, 52)) == 2188368); + assert(unsigned(flip_mask(0x21645c, 52)) == 2188380); + assert(unsigned(flip_mask(0x216460, 52)) == 2188384); + assert(unsigned(flip_mask(0x216464, 52)) == 2188388); + assert(unsigned(flip_mask(0x216474, 52)) == 2188404); + assert(unsigned(flip_mask(0x216478, 52)) == 2188408); + assert(unsigned(flip_mask(0x21647c, 52)) == 2188412); + assert(unsigned(flip_mask(0x216480, 52)) == 2188416); + assert(unsigned(flip_mask(0x216484, 52)) == 2188420); + assert(unsigned(flip_mask(0x216488, 52)) == 2188424); + assert(unsigned(flip_mask(0x21648c, 52)) == 2188428); + assert(unsigned(flip_mask(0x216490, 52)) == 2188432); + assert(unsigned(flip_mask(0x216494, 52)) == 2188436); + assert(unsigned(flip_mask(0x216498, 52)) == 2188440); + assert(unsigned(flip_mask(0x21649c, 52)) == 2188444); + assert(unsigned(flip_mask(0x2164a0, 52)) == 2188448); + assert(unsigned(flip_mask(0x2164a4, 52)) == 2188452); + assert(unsigned(flip_mask(0x2164a8, 52)) == 2188456); + assert(unsigned(flip_mask(0x2164ac, 52)) == 2188460); + assert(unsigned(flip_mask(0x2164b0, 52)) == 2188464); + assert(unsigned(flip_mask(0x2164b4, 52)) == 2188468); + assert(unsigned(flip_mask(0x2164b8, 52)) == 2188472); + assert(unsigned(flip_mask(0x2164d4, 52)) == 2188500); + assert(unsigned(flip_mask(0x2164d8, 52)) == 2188504); + assert(unsigned(flip_mask(0x2164dc, 52)) == 2188508); + assert(unsigned(flip_mask(0x2164e0, 52)) == 2188512); + assert(unsigned(flip_mask(0x216510, 52)) == 2188560); + assert(unsigned(flip_mask(0x216514, 52)) == 2188564); + assert(unsigned(flip_mask(0x216518, 52)) == 2188568); + assert(unsigned(flip_mask(0x21651c, 52)) == 2188572); + assert(unsigned(flip_mask(0x216528, 52)) == 2188584); + assert(unsigned(flip_mask(0x21652c, 52)) == 2188588); + assert(unsigned(flip_mask(0x216590, 52)) == 2188688); + assert(unsigned(flip_mask(0x216594, 52)) == 2188692); + assert(unsigned(flip_mask(0x216598, 52)) == 2188696); + assert(unsigned(flip_mask(0x2165b4, 52)) == 2188724); + assert(unsigned(flip_mask(0x2165b8, 52)) == 2188728); + assert(unsigned(flip_mask(0x2165bc, 52)) == 2188732); + assert(unsigned(flip_mask(0x2165c8, 52)) == 2188744); + assert(unsigned(flip_mask(0x2165cc, 52)) == 2188748); + assert(unsigned(flip_mask(0x2165d0, 52)) == 2188752); + assert(unsigned(flip_mask(0x2165e0, 52)) == 2188768); + assert(unsigned(flip_mask(0x2165e4, 52)) == 2188772); + assert(unsigned(flip_mask(0x2165e8, 52)) == 2188776); + assert(unsigned(flip_mask(0x2165ec, 52)) == 2188780); + assert(unsigned(flip_mask(0x2165f0, 52)) == 2188784); + assert(unsigned(flip_mask(0x2165f4, 52)) == 2188788); + assert(unsigned(flip_mask(0x2165f8, 52)) == 2188792); + assert(unsigned(flip_mask(0x2165fc, 52)) == 2188796); + assert(unsigned(flip_mask(0x216600, 52)) == 2188800); + assert(unsigned(flip_mask(0x21660c, 52)) == 2188812); + assert(unsigned(flip_mask(0x216610, 52)) == 2188816); + assert(unsigned(flip_mask(0x216614, 52)) == 2188820); + assert(unsigned(flip_mask(0x21663c, 52)) == 2188860); + assert(unsigned(flip_mask(0x216640, 52)) == 2188864); + assert(unsigned(flip_mask(0x216644, 52)) == 2188868); + assert(unsigned(flip_mask(0x216648, 52)) == 2188872); + assert(unsigned(flip_mask(0x21664c, 52)) == 2188876); + assert(unsigned(flip_mask(0x216650, 52)) == 2188880); + assert(unsigned(flip_mask(0x216654, 52)) == 2188884); + assert(unsigned(flip_mask(0x216658, 52)) == 2188888); + assert(unsigned(flip_mask(0x21665c, 52)) == 2188892); + assert(unsigned(flip_mask(0x216668, 52)) == 2188904); + assert(unsigned(flip_mask(0x21666c, 52)) == 2188908); + assert(unsigned(flip_mask(0x216678, 52)) == 2188920); + assert(unsigned(flip_mask(0x21667c, 52)) == 2188924); + assert(unsigned(flip_mask(0x216680, 52)) == 2188928); + assert(unsigned(flip_mask(0x216684, 52)) == 2188932); + assert(unsigned(flip_mask(0x2166a0, 52)) == 2188960); + assert(unsigned(flip_mask(0x2166a4, 52)) == 2188964); + assert(unsigned(flip_mask(0x2166a8, 52)) == 2188968); + assert(unsigned(flip_mask(0x2166ac, 52)) == 2188972); + assert(unsigned(flip_mask(0x2166b0, 52)) == 2188976); + assert(unsigned(flip_mask(0x2166b4, 52)) == 2188980); + assert(unsigned(flip_mask(0x21a590, 52)) == 2205072); + assert(unsigned(flip_mask(0x21a594, 52)) == 2205076); + assert(unsigned(flip_mask(0x21a598, 52)) == 2205080); + assert(unsigned(flip_mask(0x21a59c, 52)) == 2205084); + assert(unsigned(flip_mask(0x21a5a0, 52)) == 2205088); + assert(unsigned(flip_mask(0x21a5a4, 52)) == 2205092); + assert(unsigned(flip_mask(0x21a5a8, 52)) == 2205096); + assert(unsigned(flip_mask(0x21a5ac, 52)) == 2205100); + assert(unsigned(flip_mask(0x21a5b0, 52)) == 2205104); + assert(unsigned(flip_mask(0x21a5b4, 52)) == 2205108); + assert(unsigned(flip_mask(0x21a5b8, 52)) == 2205112); + assert(unsigned(flip_mask(0x21a5bc, 52)) == 2205116); + assert(unsigned(flip_mask(0x21a5d4, 52)) == 2205140); + assert(unsigned(flip_mask(0x21a5d8, 52)) == 2205144); + assert(unsigned(flip_mask(0x21a5f4, 52)) == 2205172); + assert(unsigned(flip_mask(0x21a5f8, 52)) == 2205176); + assert(unsigned(flip_mask(0x21a5fc, 52)) == 2205180); + assert(unsigned(flip_mask(0x21a600, 52)) == 2205184); + assert(unsigned(flip_mask(0x21a75c, 52)) == 2205532); + assert(unsigned(flip_mask(0x21a760, 52)) == 2205536); + assert(unsigned(flip_mask(0x21a764, 52)) == 2205540); + assert(unsigned(flip_mask(0x21a768, 52)) == 2205544); + assert(unsigned(flip_mask(0x21a76c, 52)) == 2205548); + assert(unsigned(flip_mask(0x21a770, 52)) == 2205552); + assert(unsigned(flip_mask(0x21a774, 52)) == 2205556); + assert(unsigned(flip_mask(0x21a778, 52)) == 2205560); + assert(unsigned(flip_mask(0x21a77c, 52)) == 2205564); + assert(unsigned(flip_mask(0x21a780, 52)) == 2205568); + assert(unsigned(flip_mask(0x21a784, 52)) == 2205572); + assert(unsigned(flip_mask(0x21a788, 52)) == 2205576); + assert(unsigned(flip_mask(0x21a78c, 52)) == 2205580); + assert(unsigned(flip_mask(0x21a790, 52)) == 2205584); + assert(unsigned(flip_mask(0x21a794, 52)) == 2205588); + assert(unsigned(flip_mask(0x21a798, 52)) == 2205592); + assert(unsigned(flip_mask(0x21a79c, 52)) == 2205596); + assert(unsigned(flip_mask(0x21a840, 52)) == 2205760); + assert(unsigned(flip_mask(0x21a844, 52)) == 2205764); + assert(unsigned(flip_mask(0x21a848, 52)) == 2205768); + assert(unsigned(flip_mask(0x21a84c, 52)) == 2205772); + assert(unsigned(flip_mask(0x21a850, 52)) == 2205776); + assert(unsigned(flip_mask(0x21a858, 52)) == 2205784); + assert(unsigned(flip_mask(0x21a85c, 52)) == 2205788); + assert(unsigned(flip_mask(0x21a860, 52)) == 2205792); + assert(unsigned(flip_mask(0x21a864, 52)) == 2205796); + assert(unsigned(flip_mask(0x21a870, 52)) == 2205808); + assert(unsigned(flip_mask(0x21a878, 52)) == 2205816); + assert(unsigned(flip_mask(0x21a87c, 52)) == 2205820); + assert(unsigned(flip_mask(0x21a880, 52)) == 2205824); + assert(unsigned(flip_mask(0x21a884, 52)) == 2205828); + assert(unsigned(flip_mask(0x21a888, 52)) == 2205832); + assert(unsigned(flip_mask(0x21a88c, 52)) == 2205836); + assert(unsigned(flip_mask(0x21a890, 52)) == 2205840); + assert(unsigned(flip_mask(0x21a894, 52)) == 2205844); + assert(unsigned(flip_mask(0x21a898, 52)) == 2205848); + assert(unsigned(flip_mask(0x21a89c, 52)) == 2205852); + assert(unsigned(flip_mask(0x21a8a0, 52)) == 2205856); + assert(unsigned(flip_mask(0x21a8a4, 52)) == 2205860); + assert(unsigned(flip_mask(0x21a8a8, 52)) == 2205864); + assert(unsigned(flip_mask(0x21a8ac, 52)) == 2205868); + assert(unsigned(flip_mask(0x21a8b0, 52)) == 2205872); + assert(unsigned(flip_mask(0x21a8b4, 52)) == 2205876); + assert(unsigned(flip_mask(0x21a8b8, 52)) == 2205880); + assert(unsigned(flip_mask(0x21a8bc, 52)) == 2205884); + assert(unsigned(flip_mask(0x21a8c0, 52)) == 2205888); + assert(unsigned(flip_mask(0x21a8c4, 52)) == 2205892); + assert(unsigned(flip_mask(0x21a8c8, 52)) == 2205896); + assert(unsigned(flip_mask(0x21a8cc, 52)) == 2205900); + assert(unsigned(flip_mask(0x21a8d0, 52)) == 2205904); + assert(unsigned(flip_mask(0x21a8d4, 52)) == 2205908); + assert(unsigned(flip_mask(0x21a8d8, 52)) == 2205912); + assert(unsigned(flip_mask(0x21a8dc, 52)) == 2205916); + assert(unsigned(flip_mask(0x21a8e0, 52)) == 2205920); + assert(unsigned(flip_mask(0x21a8e4, 52)) == 2205924); + assert(unsigned(flip_mask(0x21a8e8, 52)) == 2205928); + assert(unsigned(flip_mask(0x21a8ec, 52)) == 2205932); + assert(unsigned(flip_mask(0x21a8f0, 52)) == 2205936); + assert(unsigned(flip_mask(0x21a8f4, 52)) == 2205940); + assert(unsigned(flip_mask(0x21a8f8, 52)) == 2205944); + assert(unsigned(flip_mask(0x21a8fc, 52)) == 2205948); + assert(unsigned(flip_mask(0x21a900, 52)) == 2205952); + assert(unsigned(flip_mask(0x21a904, 52)) == 2205956); + assert(unsigned(flip_mask(0x21a908, 52)) == 2205960); + assert(unsigned(flip_mask(0x21a90c, 52)) == 2205964); + assert(unsigned(flip_mask(0x21a910, 52)) == 2205968); + assert(unsigned(flip_mask(0x21a914, 52)) == 2205972); + assert(unsigned(flip_mask(0x21a918, 52)) == 2205976); + assert(unsigned(flip_mask(0x21a91c, 52)) == 2205980); + assert(unsigned(flip_mask(0x21a920, 52)) == 2205984); + assert(unsigned(flip_mask(0x21a924, 52)) == 2205988); + assert(unsigned(flip_mask(0x21a928, 52)) == 2205992); + assert(unsigned(flip_mask(0x21a92c, 52)) == 2205996); + assert(unsigned(flip_mask(0x21a930, 52)) == 2206000); + assert(unsigned(flip_mask(0x21a934, 52)) == 2206004); + assert(unsigned(flip_mask(0x21a938, 52)) == 2206008); + assert(unsigned(flip_mask(0x21a93c, 52)) == 2206012); + assert(unsigned(flip_mask(0x21a940, 52)) == 2206016); + assert(unsigned(flip_mask(0x21a944, 52)) == 2206020); + assert(unsigned(flip_mask(0x21a948, 52)) == 2206024); + assert(unsigned(flip_mask(0x21a94c, 52)) == 2206028); + assert(unsigned(flip_mask(0x21a950, 52)) == 2206032); + assert(unsigned(flip_mask(0x21a954, 52)) == 2206036); + assert(unsigned(flip_mask(0x21a958, 52)) == 2206040); + assert(unsigned(flip_mask(0x21a95c, 52)) == 2206044); + assert(unsigned(flip_mask(0x21a960, 52)) == 2206048); + assert(unsigned(flip_mask(0x21a964, 52)) == 2206052); + assert(unsigned(flip_mask(0x21a968, 52)) == 2206056); + assert(unsigned(flip_mask(0x21a96c, 52)) == 2206060); + assert(unsigned(flip_mask(0x21a970, 52)) == 2206064); + assert(unsigned(flip_mask(0x21a974, 52)) == 2206068); + assert(unsigned(flip_mask(0x21a978, 52)) == 2206072); + assert(unsigned(flip_mask(0x21a97c, 52)) == 2206076); + assert(unsigned(flip_mask(0x21a980, 52)) == 2206080); + assert(unsigned(flip_mask(0x21a984, 52)) == 2206084); + assert(unsigned(flip_mask(0x21a988, 52)) == 2206088); + assert(unsigned(flip_mask(0x21a98c, 52)) == 2206092); + assert(unsigned(flip_mask(0x21a990, 52)) == 2206096); + assert(unsigned(flip_mask(0x21a994, 52)) == 2206100); + assert(unsigned(flip_mask(0x21a998, 52)) == 2206104); + assert(unsigned(flip_mask(0x21a99c, 52)) == 2206108); + assert(unsigned(flip_mask(0x21a9a0, 52)) == 2206112); + assert(unsigned(flip_mask(0x21a9a4, 52)) == 2206116); + assert(unsigned(flip_mask(0x21a9a8, 52)) == 2206120); + assert(unsigned(flip_mask(0x21a9ac, 52)) == 2206124); + assert(unsigned(flip_mask(0x21a9b0, 52)) == 2206128); + assert(unsigned(flip_mask(0x21a9b4, 52)) == 2206132); + assert(unsigned(flip_mask(0x21a9b8, 52)) == 2206136); + assert(unsigned(flip_mask(0x21a9bc, 52)) == 2206140); + assert(unsigned(flip_mask(0x21a9c0, 52)) == 2206144); + assert(unsigned(flip_mask(0x21a9c4, 52)) == 2206148); + assert(unsigned(flip_mask(0x21a9c8, 52)) == 2206152); + assert(unsigned(flip_mask(0x21a9cc, 52)) == 2206156); + assert(unsigned(flip_mask(0x21a9d0, 52)) == 2206160); + assert(unsigned(flip_mask(0x21a9d4, 52)) == 2206164); + assert(unsigned(flip_mask(0x21a9d8, 52)) == 2206168); + assert(unsigned(flip_mask(0x21a9dc, 52)) == 2206172); + assert(unsigned(flip_mask(0x21a9e0, 52)) == 2206176); + assert(unsigned(flip_mask(0x21a9e4, 52)) == 2206180); + assert(unsigned(flip_mask(0x21a9e8, 52)) == 2206184); + assert(unsigned(flip_mask(0x21a9f4, 52)) == 2206196); + assert(unsigned(flip_mask(0x21a9f8, 52)) == 2206200); + assert(unsigned(flip_mask(0x21a9fc, 52)) == 2206204); + assert(unsigned(flip_mask(0x21aa00, 52)) == 2206208); + assert(unsigned(flip_mask(0x21aa04, 52)) == 2206212); + assert(unsigned(flip_mask(0x21aa08, 52)) == 2206216); + assert(unsigned(flip_mask(0x21aa0c, 52)) == 2206220); + assert(unsigned(flip_mask(0x21aa10, 52)) == 2206224); + assert(unsigned(flip_mask(0x21aa14, 52)) == 2206228); + assert(unsigned(flip_mask(0x21aa18, 52)) == 2206232); + assert(unsigned(flip_mask(0x21aa1c, 52)) == 2206236); + assert(unsigned(flip_mask(0x21aa20, 52)) == 2206240); + assert(unsigned(flip_mask(0x21aa24, 52)) == 2206244); + assert(unsigned(flip_mask(0x21aa28, 52)) == 2206248); + assert(unsigned(flip_mask(0x21aa2c, 52)) == 2206252); + assert(unsigned(flip_mask(0x21aa30, 52)) == 2206256); + assert(unsigned(flip_mask(0x21aa34, 52)) == 2206260); + assert(unsigned(flip_mask(0x21aa38, 52)) == 2206264); + assert(unsigned(flip_mask(0x21aa3c, 52)) == 2206268); + assert(unsigned(flip_mask(0x21aa40, 52)) == 2206272); + assert(unsigned(flip_mask(0x21aa50, 52)) == 2206288); + assert(unsigned(flip_mask(0x21aa58, 52)) == 2206296); + assert(unsigned(flip_mask(0x21aa60, 52)) == 2206304); + assert(unsigned(flip_mask(0x21aa68, 52)) == 2206312); + assert(unsigned(flip_mask(0x21aa6c, 52)) == 2206316); + assert(unsigned(flip_mask(0x21aa70, 52)) == 2206320); + assert(unsigned(flip_mask(0x21aa74, 52)) == 2206324); + assert(unsigned(flip_mask(0x21aa78, 52)) == 2206328); + assert(unsigned(flip_mask(0x21aa7c, 52)) == 2206332); + assert(unsigned(flip_mask(0x21aa80, 52)) == 2206336); + assert(unsigned(flip_mask(0x21aa84, 52)) == 2206340); + assert(unsigned(flip_mask(0x21aa88, 52)) == 2206344); + assert(unsigned(flip_mask(0x21aaa8, 52)) == 2206376); + assert(unsigned(flip_mask(0x21aab0, 52)) == 2206384); + assert(unsigned(flip_mask(0x21aab8, 52)) == 2206392); + assert(unsigned(flip_mask(0x21aac0, 52)) == 2206400); + assert(unsigned(flip_mask(0x21ac70, 52)) == 2206832); + assert(unsigned(flip_mask(0x21ac74, 52)) == 2206836); + assert(unsigned(flip_mask(0x21ac78, 52)) == 2206840); + assert(unsigned(flip_mask(0x21ac7c, 52)) == 2206844); + assert(unsigned(flip_mask(0x21ac80, 52)) == 2206848); + assert(unsigned(flip_mask(0x21ac84, 52)) == 2206852); + assert(unsigned(flip_mask(0x21ac88, 52)) == 2206856); + assert(unsigned(flip_mask(0x21ac8c, 52)) == 2206860); + assert(unsigned(flip_mask(0x21ac90, 52)) == 2206864); + assert(unsigned(flip_mask(0x21ac94, 52)) == 2206868); + assert(unsigned(flip_mask(0x21ac98, 52)) == 2206872); + assert(unsigned(flip_mask(0x21ac9c, 52)) == 2206876); + assert(unsigned(flip_mask(0x21aca0, 52)) == 2206880); + assert(unsigned(flip_mask(0x21aca4, 52)) == 2206884); + assert(unsigned(flip_mask(0x21aca8, 52)) == 2206888); + assert(unsigned(flip_mask(0x21acac, 52)) == 2206892); + assert(unsigned(flip_mask(0x21acb0, 52)) == 2206896); + assert(unsigned(flip_mask(0x21acb4, 52)) == 2206900); + assert(unsigned(flip_mask(0x21acb8, 52)) == 2206904); + assert(unsigned(flip_mask(0x21acbc, 52)) == 2206908); + assert(unsigned(flip_mask(0x21acc0, 52)) == 2206912); + assert(unsigned(flip_mask(0x21acc4, 52)) == 2206916); + assert(unsigned(flip_mask(0x21acc8, 52)) == 2206920); + assert(unsigned(flip_mask(0x21accc, 52)) == 2206924); + assert(unsigned(flip_mask(0x21acd0, 52)) == 2206928); + assert(unsigned(flip_mask(0x21acd4, 52)) == 2206932); + assert(unsigned(flip_mask(0x21acd8, 52)) == 2206936); + assert(unsigned(flip_mask(0x21acdc, 52)) == 2206940); + assert(unsigned(flip_mask(0x21ace0, 52)) == 2206944); + assert(unsigned(flip_mask(0x21ace4, 52)) == 2206948); + assert(unsigned(flip_mask(0x21ace8, 52)) == 2206952); + assert(unsigned(flip_mask(0x21acec, 52)) == 2206956); + assert(unsigned(flip_mask(0x21acf0, 52)) == 2206960); + assert(unsigned(flip_mask(0x21acf4, 52)) == 2206964); + assert(unsigned(flip_mask(0x21acf8, 52)) == 2206968); + assert(unsigned(flip_mask(0x21acfc, 52)) == 2206972); + assert(unsigned(flip_mask(0x21ad00, 52)) == 2206976); + assert(unsigned(flip_mask(0x21ad04, 52)) == 2206980); + assert(unsigned(flip_mask(0x21ad08, 52)) == 2206984); + assert(unsigned(flip_mask(0x21ad0c, 52)) == 2206988); + assert(unsigned(flip_mask(0x21ad10, 52)) == 2206992); + assert(unsigned(flip_mask(0x21ad14, 52)) == 2206996); +} |