1cc58cefa007df87ab22a79baa7ce4f2d1b627195florianbefore op1 = (0x44556677, 0x111111118899aabb) 2cc58cefa007df87ab22a79baa7ce4f2d1b627195florianbefore op2 = 0x445566778899aabb 3cc58cefa007df87ab22a79baa7ce4f2d1b627195florianbefore op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) 4cc58cefa007df87ab22a79baa7ce4f2d1b627195florianafter op1 = (0x44556677, 0x111111118899aabb) 5cc58cefa007df87ab22a79baa7ce4f2d1b627195florianafter op2 = 0xdeadbabedeadbabe 6cc58cefa007df87ab22a79baa7ce4f2d1b627195florianafter op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) 7cc58cefa007df87ab22a79baa7ce4f2d1b627195floriancc = 0 8cc58cefa007df87ab22a79baa7ce4f2d1b627195florianbefore op1 = (0x1000000000000000, 0) 9cc58cefa007df87ab22a79baa7ce4f2d1b627195florianbefore op2 = 0x8000000000000001 10cc58cefa007df87ab22a79baa7ce4f2d1b627195florianbefore op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) 11cc58cefa007df87ab22a79baa7ce4f2d1b627195florianafter op1 = (0x1000000080000000, 0x1) 12cc58cefa007df87ab22a79baa7ce4f2d1b627195florianafter op2 = 0x8000000000000001 13cc58cefa007df87ab22a79baa7ce4f2d1b627195florianafter op3 = (0xdeadbeefdeadbabe, 0xdeadbeefdeadbabe) 14cc58cefa007df87ab22a79baa7ce4f2d1b627195floriancc = 1 15