futex(0x0, 0xc, 0x0, &(0x7f00000006c0), &(0x7f0000000700), 0x0)