# 32 has 4-byte alignment for int64 and everything goes havoc.
# requires: -arch=32 -bigendian

syz_compare(&AUTO="1200000034067800", AUTO, &AUTO=@bf4={0x12, {0x34, 0x56, 0x78}}, AUTO)
syz_compare(&AUTO="1200000034060000", AUTO, &AUTO=@bf5={0x12, {0x34, 0x56}}, AUTO)
syz_compare(&AUTO="120034067800", AUTO, &AUTO=@bf6={0x12, {0x34, 0x56, 0x78}}, AUTO)
syz_compare(&AUTO="12003406", AUTO, &AUTO=@bf7={0x12, {0x34, 0x56}}, AUTO)
syz_compare(&AUTO="1200000034860000", AUTO, &AUTO=@bf8={0x12, {0x34, 0x56, 0x78}}, AUTO)
syz_compare(&AUTO="12003486", AUTO, &AUTO=@bf9={0x12, {0x34, 0x56, 0x78}}, AUTO)
syz_compare(&AUTO="12000000000000004385670ad9bcf10e3402ab0000000000", AUTO, &AUTO=@bf10={0x12, {0x3, 0x4, 0x5, 0x678, 0x90a, 0xbcd, 0xef1, 0x234, 0xab}}, AUTO)
syz_compare(&AUTO="12000000345678a9", AUTO, &AUTO=@bf11={0x12, {0x34, 0x56, 0x78, 0x9, 0xa}}, AUTO)
syz_compare(&AUTO="12000000345678a90bcd0000", AUTO, &AUTO=@bf12={0x12, {0x34, 0x56, 0x78, 0x9, 0xa, 0xb, 0xcd}}, AUTO)
syz_compare(&AUTO="1200000056348907bc0a0000", AUTO, &AUTO=@bf13={0x12, {0x3456, 0x789, 0xabc}}, AUTO)
syz_compare(&AUTO="1200000034568907", AUTO, &AUTO=@bf14={0x12, {0x34, 0x56, 0x789}}, AUTO)
syz_compare(&AUTO="1200000034678500", AUTO, &AUTO=@bf15={0x12, {0x34, 0x567, 0x8}}, AUTO)
syz_compare(&AUTO="1200000034650000", AUTO, &AUTO=@bf16={0x12, {0x34, 0x5, 0x6}}, AUTO)
syz_compare(&AUTO="1200000034050600", AUTO, &AUTO=@bf17={0x12, {0x34, 0x5, 0x6}}, AUTO)
syz_compare(&AUTO="1200000034050600", AUTO, &AUTO=@bf18={0x12, {0x34, 0x5, 0x6}}, AUTO)
syz_compare(&AUTO="120034006705", AUTO, &AUTO=@bf19={0x12, {0x34, 0x567}}, AUTO)
syz_compare(&AUTO="1200000000000000345687a900000000", AUTO, &AUTO=@bf20={0x12, {0x34, 0x56, 0x7, 0x8, 0x9, 0xa}}, AUTO)
syz_compare(&AUTO="12000000333333334567ab89", AUTO, &AUTO=@bf21={0x12, {0x33333333, 0x45, 0x67, 0x89ab}}, AUTO)
syz_compare(&AUTO="123465", AUTO, &AUTO=@bf22={0x12, {0x34, 0x5, 0x6}}, AUTO)
syz_compare(&AUTO="12346503", AUTO, &AUTO=@bf23={0x12, {0x34, 0x5, 0x36}}, AUTO)
syz_compare(&AUTO="123405", AUTO, &AUTO=@bf24={0x12, {0x34, 0x5}}, AUTO)
syz_compare(&AUTO="12000000aa00bbc0ccbb0000", AUTO, &AUTO=@bf25={0x12, {0xaa, 0xbb, 0x1, 0x1, 0xbbcc, ''}}, AUTO)
