5    uint64_t high;  member
23    printf("before op1 = (%#lx, %#lx)\n", op1.high, op1.low);  in test()
25    printf("before op3 = (%#lx, %#lx)\n", op3.high, op3.low);  in test()
39    printf("after  op1 = (%#lx, %#lx)\n", op1.high, op1.low);  in test()
41    printf("after  op3 = (%#lx, %#lx)\n", op3.high, op3.low);  in test()
50    if (op3.low != op3_before.low || op3.high != op3_before.high) {  in test()
58       if (op1.low != op1_before.low || op1.high != op1_before.high) {  in test()
67       if ((op2 >> 32) != (op3.high & 0xffffffff)) {  in test()
79       if ((op1.high >> 32) != (op1_before.high >> 32) ||  in test()
87       if ((op1.high & 0xffffffff) != (op2 >> 32)) {  in test()
99    op1.high = 0x0000000044556677ull;  in main()
103    op3.high = op3.low = 0xdeadbeefdeadbabeull;  in main()
107    op1.high = 0x1000000000000000ull;  in main()
110    op3.high = op3.low = 0xdeadbeefdeadbabeull;  in main()