syz_compare(&AUTO='00000000000000000000123', 0x17, &AUTO=@fmt0=0x53, AUTO)
syz_compare(&AUTO='00000000000000000083', 0x14, &AUTO=@fmt1=0x53, AUTO)
syz_compare(&AUTO='0x0000000000000053', 0x12, &AUTO=@fmt2=0x53, AUTO)
syz_compare(&AUTO='00000000000000000000', 0x14, &AUTO=@fmt3=AUTO, AUTO)
